Authors on this page:
- Ian Mackie
- Roger D. Maddux
- P. Madhusudan
- Frederic Magniez
- Pritha Mahata
- Michael J. Maher
- Michael Maher
- Harry Mairson
- Harry G. Mairson
- Rupak Majumdar
- Michael Makkai
- Johann A. Makowsky
- Pasquale Malacaria
- Oded Maler
- Zohar Manna
- Panagiotis Manolios
- Claude Marché
- J. Raymundo Marcial-Romero
- Jerzy Marcinkowski
- Marek, W.
- V. W. Marek
- Victor W. Marek
- Nicolas Markey
- J. Marques-Silva
- Kim Marriott
- Ursula Martin
- M. Marx
- Michael Marz
- Ian A. Mason
- Mason, I.A.
- I. A. Mason
- Paulo Mateus
- Yuri Matiyasevich
- Oliver Matz
- F. Maurel
- Francois Maurel
- Richard Mayr
- David A. McAllester
- David McAllester
- Ken McAloon
- McAloon, K.
- John McCarthy
- McColm, G.L.
- Gregory .L. McColm
- Guy McCusker
- Raymond McDowell
- Pierre McKenzie
- R. McKinley
- McMillan, K.L.
- Ken McMillan
- Kenneth L. McMillan
- J. Antonio Medina
- Nimrod Megiddo
- Mellies, P.-A.
- Paul-Andre Mellies
- Paul-André Melliès
- N. P. Mendler
- Paul F. Mendler
- Nax Paul Mendler
- José Meseguer
- Meseguer, J.
- Albert R. Meyer
- Meyer, A.R.
- C. Meyer
- Michaylov, S.
- Marino Miculan
- Middeldorp, A.
- Alex Mifsud
- Stefan Milius
- Dale Miller
- Robin Milner
- R. Milner
- Tova Milo
- Kathleen Milsted
- K. Milsted
- Alexandre Miquel
- Mislove, M.W.
- John C. Mitchell
- Mitchell, J.
- John Mitchell
- J. Mitchell
- Eugenio Moggi
- Moggi, E.
- Christine Mohring
- Moller, F.
- Faron Moller
- Stefan Monnier
- Ugo Montanari
- Montanari, U.
- Luís Monteiro
- Barbara Morawska
- Tsuyoshi Morioka
- Moschovakis, Y.N.
- Moss, L.S.
- Mosses, P.D.
- B.C. Moszkowski
- MohammadReza Mousavi
- David E. Muller
- Mulry, P.
- César A. Munoz
- Aniello Murano
- A.S. Murawski
- Andrzej S. Murawski
- A. S. Murawski
- Tom Murphy VII
- Murthy, C.R.
- Chetan R. Murthy
- Anca Muscholl
- David R. Musser
- Martin Müller
Ian Mackie
- Paper: Ian Mackie
Linear Logic With Boxes (LICS 1998) More Information... - Paper: Maribel Fernández Ian Mackie
Coinductive Techniques for Operational Equivalence of Interaction Nets (LICS 1998) More Information...
Roger D. Maddux
- Paper: Marcelo F. Frias Roger D. Maddux
Completeness of a Relational Calculus for Program Schemes (LICS 1998) More Information...
P. Madhusudan
- Paper: P. Madhusudan
Model-checking Trace Event Structures (LICS 2003) More Information...
Frederic Magniez
- Paper: Sophie Laplante Richard Lassaigne Frederic Magniez Sylvain Peyronnet Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing (LICS 2002) More Information...
Pritha Mahata
- Paper: Parosh Aziz Abdulla Johann Deneux Pritha Mahata
Multi-Clock Timed Networks (LICS 2004) More Information...
Michael J. Maher
- Paper: Michael J. Maher
Complete axiomatizations of the algebras of finite, rational and infinite trees (LICS 1988) More Information...
Michael Maher
- Paper: Michael Maher
Herbrand Constraint Abduction (LICS 2005) More Information...
Harry Mairson
- Paper: Haim Gaifman Harry Mairson Yehoshua Sagiv Moshe Y. Vardi
Undecidable Optimization Problems for Database Logic Programs (LICS 1987) More Information...
Harry G. Mairson
- Paper: Gerd G. Hillebrand Paris C. Kanellakis Harry G. Mairson
Database query languages embedded in the typed lambda calculus (LICS 1993) More Information...
Rupak Majumdar
- Paper: Luca de Alfaro Thomas A. Henzinger Rupak Majumdar
From Verification to Control: Dynamic Programs for Omega-Regular Objectives (LICS 2001) More Information...
Michael Makkai
- Paper: Claudio Hermida Michael Makkai John Power
Higher Dimensional Multigraphs (LICS 1998) More Information...
Johann A. Makowsky
- Paper: Johann A. Makowsky Ildikó Sain
On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems (LICS 1986) More Information...
Pasquale Malacaria
- Paper: Pasquale Malacaria Laurent Regnier
Some results on the interpretation of λ-calculus in operator algebras (LICS 1991) More Information... - Paper: Pasquale Malacaria Chris Hankin
Non-Deterministic Games and Program Analysis: An Application to Security (LICS 1999) More Information...
Oded Maler
- Paper: Eugene Asarin Paul Caspi Oded Maler
A Kleene theorem for timed automata (LICS 1997) More Information...
Zohar Manna
- Paper: Bengt Jonsson Zohar Manna Richard J. Waldinger
Towards Deductive Synthesis of Dataflow Networks (LICS 1986) More Information... - Paper: Martín Abadi Zohar Manna
A Timely Resolution (LICS 1986) More Information... - Paper: Edward Chang Zohar Manna Amir Pnueli
Compositional verification of real-time systems (LICS 1994) More Information...
Panagiotis Manolios
- Paper: Panagiotis Manolios Richard Trefler
Safety and Liveness in Branching Time (LICS 2001) More Information...
Claude Marché
- Paper: Claude Marché
Normalised rewriting and normalised completion (LICS 1994) More Information...
J. Raymundo Marcial-Romero
- Paper: J. Raymundo Marcial-Romero Martin H. Escardo
Semantics of a Sequential Language for Exact Real-Number Computation (LICS 2004) More Information...
Jerzy Marcinkowski
- Paper: Jerzy Marcinkowski
DATALOG SIRUPs uniform boundedness is undecidable (LICS 1996) More Information... - Paper: Giacomo Lenzi Andre Arnold Jerzy Marcinkowski
The Hierarchy inside Closed Monadic S1 Collapses on the Infinite Binary Tree (LICS 2001) More Information...
Marek, W.
- Paper: Marek, W. Nerode, A. Remmel, J.
A theory of nonmonotonic rule systems (LICS 1990) More Information...
V. W. Marek
- Paper: V. W. Marek A. Nerode J.B. Remmel
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (LICS 1995) More Information...
Victor W. Marek
- Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
On the Complexity of Abduction (LICS 1996) More Information...
Nicolas Markey
- Paper: François Laroussinie Nicolas Markey Philippe Schnoebelen
Temporal Logic with Forgettable Past (LICS 2002) More Information...
J. Marques-Silva
- Short Presentation: I. Lynce J. Marques-Silva
Integrating Simplification Techniques in SAT Algorithms (LICS 2001) More Information...
Kim Marriott
- Paper: Moreno Falaschi Maurizio Gabbrielli Kim Marriott Catuscia Palamidessi
Compositional analysis for concurrent constraint programming (LICS 1993) More Information...
Ursula Martin
- Paper: Ursula Martin Elizabeth Scott
The order types of termination orderings on monadic terms, strings and multisets (LICS 1993) More Information...
M. Marx
- Short Presentation: C. Areces P. Blackburn M. Marx
Repairing the Interpolation Theorem in First-Order Modal Logic (LICS 2001) More Information...
Michael Marz
- Paper: Michael Marz Alexander Rohr Thomas Streicher
Full Abstraction and Universality via Realisability (LICS 1999) More Information...
Ian A. Mason
- Paper: Ian A. Mason
Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation (LICS 1986) More Information...
Mason, I.A.
- Paper: Mason, I.A. Talcott, C.
Axiomatizing operational equivalence in the presence of side effects (LICS 1989) More Information... - Paper: Mason, I.A. Talcott, C.L.
References, local variables and operational reasoning (LICS 1992) More Information...
I. A. Mason
- Short Presentation: J. Ford I. A. Mason N. Shankar
Lessons Learned from Formal Developments in PVS (LICS 2002) More Information...
Paulo Mateus
- Short Presentation: Paulo Mateus Amilcar Sernadas
Complete exogenous quantum propositional logic (LICS 2005) More Information...
Yuri Matiyasevich
- Paper: Anatoli Degtyarev Yuri Matiyasevich Andrei Voronkov
Simultaneous Rigid E-Unification and Related Algorithmic Problems (LICS 1996) More Information... - Paper: Yuri Matiyasevich Géraud Senizergues
Decision Problems for Semi-Thue Systems with a Few Rules (LICS 1996) More Information...
Oliver Matz
- Paper: Oliver Matz Wolfgang Thomas
The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite (LICS 1997) More Information...
F. Maurel
- Short Presentation: C. Faggian F. Maurel
Ludics on Graphs. Towards Concurrency (LICS 2004) More Information...
Francois Maurel
- Paper: Claudia Faggian Francois Maurel
Ludics Nets, a game Model of Concurrent Interaction (LICS 2005) More Information...
Richard Mayr
- Paper: Javier Esparza Alain Finkel Richard Mayr
On the Verification of Broadcast Protocols (LICS 1999) More Information... - Paper: Javier Esparza Antonin Kucera Richard Mayr
Model Checking Probabilistic Pushdown Automata (LICS 2004) More Information... - Paper: Javier Esparza Antonin Kucera Richard Mayr
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances (LICS 2005) More Information... - Paper: Richard Mayr Parosh Abdulla Noomene Ben Henda
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property (LICS 2005) More Information...
David A. McAllester
- Paper: David A. McAllester Robert Givan Carl Witty Dexter Kozen
Tarskian Set Constraints (LICS 1996) More Information... - Invited Talk: David A. McAllester
Methods of Automated Complexity for Inference Rules (LICS 1997) More Information... - Paper: Witold Charatonik David A. McAllester Damian Niwinski Andreas Podelski Igor Walukiewicz
The Horn Mu-calculus (LICS 1998) More Information...
David McAllester
- Paper: Nevin Heintze David McAllester
On the Cubic Bottleneck in Subtyping and Flow Analysis (LICS 1997) More Information...
Ken McAloon
- Paper: Gabriel M. Kuper Ken McAloon Krishna V. Palem Kenneth J. Perry
Efficient parallel algorithms for anti-unification and relative complement (LICS 1988) More Information...
McAloon, K.
- Paper: Lassez, J.-L. McAloon, K.
A constraint sequent calculus (LICS 1990) More Information...
John McCarthy
- Invited Talk: John McCarthy
Advice about logical AI (LICS 2003) More Information...
McColm, G.L.
- Paper: Gradel, E. McColm, G.L.
Deterministic vs. nondeterministic transitive closure logic (LICS 1992) More Information...
Gregory .L. McColm
- Paper: Gregory .L. McColm
Zero-one laws for Gilbert random graphs (LICS 1996) More Information...
Guy McCusker
- Paper: Samson Abramsky Guy McCusker
Games and Full Abstraction for the Lazy Lambda-Calculus (LICS 1995) More Information... - Paper: Guy McCusker
Games and Full Abstraction for FPC (LICS 1996) More Information... - Paper: Samson Abramsky Kohei Honda Guy McCusker
A Fully Abstract Game Semantics for General References (LICS 1998) More Information... - Paper: Russell Harmer Guy McCusker
A Fully Abstract Game Semantics for Finite Nondeterminism (LICS 1999) More Information...
Raymond McDowell
- Paper: Raymond McDowell Dale Miller
A Logic for Reasoning with Higher-Order Abstract Syntax (LICS 1997) More Information...
Pierre McKenzie
- Paper: Augustin Baziramwabo Pierre McKenzie Denis Thérien
Modular Temporal Logic (LICS 1999) More Information...
R. McKinley
- Short Presentation: R. McKinley
Categorical Models of First-Order Classical Sequent Proofs (LICS 2004) More Information...
McMillan, K.L.
- Paper: Clarke, E.M. Long, D.E. McMillan, K.L.
Compositional model checking (LICS 1989) More Information... - Paper: Burch, J.R. Clarke, E.M. McMillan, K.L. Dill, D.L. Hwang, L.J.
Symbolic model checking: 10 states and beyond (LICS 1990) More Information...
Ken McMillan
- Paper: Rajeev Alur Ken McMillan Doron Peled
Model-checking of correctness conditions for concurrent objects (LICS 1996) More Information...
Kenneth L. McMillan
- Invited Talk: Kenneth L. McMillan
Some Strategies for Proving Theorems with a Model Checker (LICS 2000) More Information...
J. Antonio Medina
- Paper: J. Antonio Medina Neil Immerman
A syntactic characterization of NP-completeness (LICS 1994) More Information... - Paper: J. Antonio Medina Neil Immerman
A generalization of Fagin's theorem (LICS 1996) More Information...
Nimrod Megiddo
- Paper: Ronald Fagin Joseph Y. Halpern Nimrod Megiddo
A logic for reasoning about probabilities (LICS 1988) More Information...
Mellies, P.-A.
- Paper: Gonthier, G. Levy, J.-J. Mellies, P.-A.
An abstract standardisation theorem (LICS 1992) More Information...
Paul-Andre Mellies
- Paper: Paul-Andre Mellies Jerome Vouillon
Recursive Polymorphic Types and Parametricity in an Operational Framework (LICS 2005) More Information... - Paper: Paul-Andre Mellies
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic (LICS 2005) More Information...
Paul-André Melliès
- Paper: Paul-André Melliès
A Stability Theorem in Rewriting Theory (LICS 1998) More Information... - Paper: Samson Abramsky Paul-André Melliès
Concurrent Games and Full Completeness (LICS 1999) More Information...
N. P. Mendler
- Paper: N. P. Mendler Prakash Panangaden Robert L. Constable
Infinite Objects in Type Theory (LICS 1986) More Information... - Paper: N. P. Mendler
Recursive Types and Type Constraints in Second-Order Lambda Calculus (LICS 1987) More Information...
Paul F. Mendler
- Paper: Paul F. Mendler Peter Aczel
The notion of a framework and a framework for LTC (LICS 1988) More Information...
Nax Paul Mendler
- Paper: Nax Paul Mendler
Predictive type universes and primitive recursion (LICS 1991) More Information...
José Meseguer
- Paper: Joseph A. Goguen José Meseguer
Order-Sorted Algebra solves the Constructor-Selector, Multiple (LICS 1987) More Information... - Paper: José Meseguer Ugo Montanari
Petri nets are monoids: a new algebraic foundation for net theory (LICS 1988) More Information...
Meseguer, J.
- Paper: Degano, P. Meseguer, J. Montanari, U.
Axiomatizing net computations and processes (LICS 1989) More Information...
Albert R. Meyer
- Paper: Albert R. Meyer
Floyd-Hoare Logic Defines Semantics: Preliminary Version (LICS 1986) More Information... - Paper: Val Breazu-Tannen Albert R. Meyer
Polymorphism is conservative over simple types (Preliminary Report) (LICS 1987) More Information... - Invited Talk: Albert R. Meyer Stavros S. Cosmadakis
Semantical paradigms: notes for an invited lecture (LICS 1988) More Information... - Paper: Lalita Jategaonkar Albert R. Meyer
Self-synchronization of concurrent processes (LICS 1993) More Information...
Meyer, A.R.
- Paper: Cosmadakis, S.S. Meyer, A.R. Riecke, J.G.
Completeness for typed lazy inequalities (LICS 1990) More Information...
C. Meyer
- Paper: H. Ganzinger C. Meyer M. Veanes
The Two-Variable Guarded Fragment with Transitive Relations (LICS 1999) More Information...
Michaylov, S.
- Paper: Bose, S. Clarke, E.M. Long, D.E. Michaylov, S.
PARTHENON: a parallel theorem prover for nonHorn clauses (LICS 1989) More Information...
Marino Miculan
- Paper: Marino Miculan Fabio Gadducci
Modal µ-Types for Processes (LICS 1995) More Information...
Middeldorp, A.
- Paper: Middeldorp, A.
A sufficient condition for the termination of the direct sum of term rewriting systems (LICS 1989) More Information...
Alex Mifsud
- Paper: Alex Mifsud Robin Milner John Power
Control Structures (LICS 1995) More Information...
Stefan Milius
- Short Presentation: Jiri Adamek Stefan Milius
Wellfounded Coalgebras (LICS 2005) More Information...
Dale Miller
- Paper: Dale Miller Gopalan Nadathur Andre Scedrov
Hereditary Harrop Formulas and Uniform Proof Systems (LICS 1987) More Information... - Paper: Joshua S. Hodas Dale Miller
Logic programming in a fragment of intuitionistic linear logic (LICS 1991) More Information... - Paper: Dale Miller
A multiple-conclusion meta-logic (LICS 1994) More Information... - Paper: Raymond McDowell Dale Miller
A Logic for Reasoning with Higher-Order Abstract Syntax (LICS 1997) More Information... - Paper: Dale Miller Alwen Tiu
A Proof Theory for Generic Judgments: An extended abstract (LICS 2003) More Information...
Robin Milner
- Invited Talk: Robin Milner
Some Uses of Maximal Fixed Points (LICS 1987) More Information... - Paper: Alex Mifsud Robin Milner John Power
Control Structures (LICS 1995) More Information...
R. Milner
- Invited Talk: R. Milner
Calculi for Interactions (LICS 1996) More Information...
Tova Milo
- Paper: Noga Alon Tova Milo Frank Neven Dan Suciu Victor Vianu
Typechecking XML Views of Relational Databases (LICS 2001) More Information...
Kathleen Milsted
- Paper: Giuseppe Longo Kathleen Milsted Sergei Soloviev
The genericity theorem and the notion of parametricity in the polymorphic λ-calculus (LICS 1993) More Information...
K. Milsted
- Paper: G. Loop K. Milsted S. Soloviev
A logic of subtyping (LICS 1995) More Information...
Alexandre Miquel
- Paper: Alexandre Miquel
A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping (LICS 2000) More Information...
Mislove, M.W.
- Paper: Mislove, M.W. Moss, L.S. Oles, F.J.
Non-well-founded sets obtained from ideal fixed points (LICS 1989) More Information...
John C. Mitchell
- Paper: John C. Mitchell Eugenio Moggi
Kripke-Style models for typed lambda calculus (LICS 1987) More Information... - Paper: John C. Mitchell Furio Honsell Kathleen Fisher
A lambda calculus of objects and method specialization (LICS 1993) More Information...
Mitchell, J.
- Paper: Lincoln, P. Mitchell, J.
Operational aspects of linear lambda calculus (LICS 1992) More Information...
John Mitchell
- Paper: My Hoang John Mitchell Ramesh Viswanathan
Standard ML-NJ weak polymorphism and imperative constructs (LICS 1993) More Information...
J. Mitchell
- Invited Talk: J. Mitchell A. Ramanathan V. Teague A. Scedrov
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis (LICS 2001) More Information...
Eugenio Moggi
- Paper: John C. Mitchell Eugenio Moggi
Kripke-Style models for typed lambda calculus (LICS 1987) More Information... - Paper: Eugenio Moggi
A general semantics for Evaluation Logic (LICS 1994) More Information... - Paper: Marcelo .P. Fiore Eugenio Moggi Davide Sangiorgi
A Fully-Abstract Model for the pi-calculus (Extended Abstract) (LICS 1996) More Information...
Moggi, E.
- Paper: Moggi, E.
Computational lambda-calculus and monads (LICS 1989) More Information...
Christine Mohring
- Paper: Christine Mohring
Algorithm Development in the Calculus of Constructions (LICS 1986) More Information...
Moller, F.
- Paper: Moller, F.
The nonexistence of finite axiomatisations for CCS congruences (LICS 1990) More Information...
Faron Moller
- Paper: Søren Christensen Yoram Hirshfeld Faron Moller
Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes (LICS 1993) More Information... - Paper: Faron Moller Alexander Rabinovich
On the Expressive Power of CTL (LICS 1999) More Information...
Stefan Monnier
- Paper: Nadeem A. Hamid Zhong Shao Valery Trifonov Stefan Monnier Zhaozhong Ni
A Syntactic Approach to Foundational Proof-Carrying Code (LICS 2002) More Information...
Ugo Montanari
- Paper: Pierpaolo Degano Rocco De Nicola Ugo Montanari
On the consistency of `truly concurrent' operational and denotational semantics (LICS 1988) More Information... - Paper: José Meseguer Ugo Montanari
Petri nets are monoids: a new algebraic foundation for net theory (LICS 1988) More Information... - Invited Talk: Roberto Bruni Ugo Montanari
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus (LICS 1999) More Information...
Montanari, U.
- Paper: Degano, P. Meseguer, J. Montanari, U.
Axiomatizing net computations and processes (LICS 1989) More Information...
Luís Monteiro
- Paper: Luís Monteiro Fernando C. N. Pereira
A Sheaf-Theoretic Model of Concurrency (LICS 1986) More Information...
Barbara Morawska
- Paper: Christopher Lynch Barbara Morawska
Automatic Decidability (LICS 2002) More Information...
Tsuyoshi Morioka
- Short Presentation: Tsuyoshi Morioka
The Relative Complexity of Local Search Heuristics and the Iteration Principle (LICS 2003) More Information...
Moschovakis, Y.N.
- Paper: Moschovakis, Y.N.
A game-theoretic modeling of concurrency (LICS 1989) More Information...
Moss, L.S.
- Paper: Mislove, M.W. Moss, L.S. Oles, F.J.
Non-well-founded sets obtained from ideal fixed points (LICS 1989) More Information...
Mosses, P.D.
- Paper: Mosses, P.D.
Unified algebras and institutions (LICS 1989) More Information...
B.C. Moszkowski
- Paper: B.C. Moszkowski
A Complete Axiomatization of Interval Temporal Logic with Infinite Time (LICS 2000) More Information...
MohammadReza Mousavi
- Paper: MohammadReza Mousavi Michel Reniers Jan Friso Groote
Congruence for SOS with Data (LICS 2004) More Information...
David E. Muller
- Paper: David E. Muller Ahmed Saoudi Paul E. Schupp
Weak alternating automata give a simple explanation of why most temporal and dynamic logics are decidable in exponential time (LICS 1988) More Information...
Mulry, P.
- Paper: Freyd, P. Mulry, P. Rosolini, G. Scott, D.
Extensional PERs (LICS 1990) More Information...
César A. Munoz
- Paper: César A. Munoz
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus (LICS 1996) More Information...
Aniello Murano
- Paper: Marco Faella Salvatore La Torre Aniello Murano
Dense Real-time Games (LICS 2002) More Information...
A.S. Murawski
- Paper: A.S. Murawski C.-H.L. Ong
Dominator Trees and Fast Verification of Proof Nets (LICS 2000) More Information...
Andrzej S. Murawski
- Paper: Andrzej S. Murawski
On Program Equivalence in Languages with Ground-Type References (LICS 2003) More Information...
A. S. Murawski
- Paper: S. Abramsky D. R. Ghica A. S. Murawski C.-H. L. Ong I. D. B. Stark
Nominal Games and Full Abstraction for the Nu-Calculus (LICS 2004) More Information...
Tom Murphy VII
- Paper: Tom Murphy VII Karl Crary Robert Harper Frank Pfenning
A Symmetric Modal Lambda Calculus for Distributed Computing (LICS 2004) More Information...
Murthy, C.R.
- Paper: Murthy, C.R. Russell, J.R.
A constructive proof of Higman's lemma (LICS 1990) More Information... - Paper: Murthy, C.R.
A computational analysis of Girard's translation and LC (LICS 1992) More Information...
Chetan R. Murthy
- Paper: Chetan R. Murthy
An evaluation semantics for classical proofs (LICS 1991) More Information...
Anca Muscholl
- Paper: Ahmed Bouajjani Anca Muscholl Tayssir Touili
Permutation Rewriting and Algorithmic Verification (LICS 2001) More Information...
David R. Musser
- Paper: Deepak Kapur David R. Musser
Inductive Reasoning with Incomplete Specifications (Preliminary Report) (LICS 1986) More Information...
Martin Müller
- Paper: Martin Müller Joachim Niehren Ralf Treinen
The First-Order Theory of Ordering Constraints over Feature Trees (LICS 1998) More Information... - Paper: Joachim Niehren Martin Müller Jean-Marc Talbot
Entailment of Atomic Set Constraints is PSPACE-Complete (LICS 1999) More Information...