Authors on this page:
- Stan Raatz
- Rabinovich, A.
- Alexander Rabinovich
- Christophe Raffalli
- Ramakrishnan, I.V.
- A. Ramanathan
- R. Ramanujam
- Julian Rathke
- Alexander A. Razborov
- Uday Reddy
- Uday S. Reddy
- Laurent Regnier
- L. Regnier
- Jakob Rehof
- Remmel, J.B.
- Remmel, J.
- J.B. Remmel
- Jeffrey B. Remmel
- Michel Reniers
- Thomas Reps
- Bernhard Reus
- J. Reynolds
- Mark Reynolds
- John Reynolds
- Riecke, J.G.
- Jon G. Riecke
- Martin Rinard
- John Alan Robinson
- Robinson, E.
- Robinson, E.P.
- Edmund Robinson
- Alexander Rohr
- Simona Ronchi della Rocca
- Eric Rosen
- Roni Rosner
- Rosner, R.
- Rosolini, G.
- Giuseppe Rosolini
- Benjamin Rossman
- Michel de Rougemont
- William C. Rounds
- Rounds, W.C.
- Sasha Rubin
- A. Rubio
- Albert Rubio
- Harald Rueß
- Paul Ruet
- Matthias Ruhl
- Michaël Rusinowitch
- Russell, J.R.
- Mark Ryan
- Andrey Rybalchenko
- Tatiana Rybina
Stan Raatz
- Paper: Jean H. Gallier Stan Raatz Wayne Snyder
Theorem Proving Using Rigid E-Unification Equational Matings (LICS 1987) More Information...
Rabinovich, A.
- Paper: Rabinovich, A. Trakhtenbrot, B.A.
Nets and data flow interpreters (LICS 1989) More Information...
Alexander Rabinovich
- Paper: Faron Moller Alexander Rabinovich
On the Expressive Power of CTL (LICS 1999) More Information...
Christophe Raffalli
- Paper: Christophe Raffalli
System ST \beta-reduction and completeness (LICS 2003) More Information...
Ramakrishnan, I.V.
- Paper: Sekar, R.C. Ramakrishnan, I.V.
Programming in equational logic: beyond strong sequentiality (LICS 1990) More Information...
A. Ramanathan
- Invited Talk: J. Mitchell A. Ramanathan V. Teague A. Scedrov
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis (LICS 2001) More Information...
R. Ramanujam
- Paper: R. Ramanujam
Locally linear time temporal logic (LICS 1996) More Information...
Julian Rathke
- Paper: Julian Rathke
Unique Fixpoint Induction for Value-Passing Processes (LICS 1997) More Information... - Paper: Alan Jeffrey Julian Rathke
Towards a Theory of Bisimulation for Local Names (LICS 1999) More Information... - Paper: Alan Jeffrey Julian Rathke
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names (LICS 2000) More Information... - Paper: Alan Jeffrey Julian Rathke
A fully abstract may testing semantics for concurrent objects (LICS 2002) More Information...
Alexander A. Razborov
- Invited Talk: Alexander A. Razborov
Feasible Proofs and Computations: Partnership and Fusion (LICS 2004) More Information...
Uday Reddy
- Paper: Uday Reddy
Passivity and independence (LICS 1994) More Information...
Uday S. Reddy
- Paper: Brian Dunphy Uday S. Reddy
Parametric Limits (LICS 2004) More Information...
Laurent Regnier
- Paper: Pasquale Malacaria Laurent Regnier
Some results on the interpretation of λ-calculus in operator algebras (LICS 1991) More Information... - Paper: Vincent Danos Laurent Regnier
Local and asynchronous beta-reduction (an analysis of Girard's execution formula) (LICS 1993) More Information... - Paper: Andrea Asperti Vincent Danos Cosimo Laneve Laurent Regnier
Paths in the lambda-calculus. Three years of communications without understanding (LICS 1994) More Information... - Paper: Vincent Danos Hugo Herbelin Laurent Regnier
Game semantics and abstract machines (LICS 1996) More Information... - Paper: Olivier Laurent Laurent Regnier
About Translations of Classical Logic into Polarized Linear Logic (LICS 2003) More Information...
L. Regnier
- Paper: P. Baillot V. Danos T. Ehrhard L. Regnier
Believe it or not, AJM's games model is a model of classical linear logic (LICS 1997) More Information...
Jakob Rehof
- Paper: Fritz Henglein Jakob Rehof
The complexity of subtype entailment for simple types (LICS 1997) More Information...
Remmel, J.B.
- Paper: Nerode, A. Remmel, J.B. Scedrov, A.
Polynomially graded logic I. A graded version of system T (LICS 1989) More Information...
Remmel, J.
- Paper: Marek, W. Nerode, A. Remmel, J.
A theory of nonmonotonic rule systems (LICS 1990) More Information...
J.B. Remmel
- Paper: V. W. Marek A. Nerode J.B. Remmel
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (LICS 1995) More Information...
Jeffrey B. Remmel
- Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
On the Complexity of Abduction (LICS 1996) More Information...
Michel Reniers
- Paper: MohammadReza Mousavi Michel Reniers Jan Friso Groote
Congruence for SOS with Data (LICS 2004) More Information...
Thomas Reps
- Paper: Thomas Reps Alexey Loginov Mooly Sagiv
Semantic Minimization of 3-Valued Propositional Formulae (LICS 2002) More Information...
Bernhard Reus
- Paper: Bernhard Reus Thomas Streicher
Semantics and Logic of Object Calculi (LICS 2002) More Information...
J. Reynolds
- Invited Talk: J. Reynolds
Conjunctive Types and Algol-like Languages (LICS 1987) More Information...
Mark Reynolds
- Paper: Mark Reynolds
More Past Glories (LICS 2000) More Information...
John Reynolds
- Invited Talk: John Reynolds
A Logic for Shared Mutable Data Structures (LICS 2002) More Information...
Riecke, J.G.
- Paper: Cosmadakis, S.S. Meyer, A.R. Riecke, J.G.
Completeness for typed lazy inequalities (LICS 1990) More Information...
Jon G. Riecke
- Paper: Jon G. Riecke Anders Sandholm
A Relational Account of Call-by-Value Sequentially (LICS 1997) More Information... - Paper: Anindya Banerjee Nevin Heintze Jon G. Riecke
Region Analysis and the Polymorphic Lambda Calculus (LICS 1999) More Information...
Martin Rinard
- Paper: Viktor Kuncak Martin Rinard
Structural Subtyping of Non-Recursive Types is Decidable (LICS 2003) More Information...
John Alan Robinson
- Invited Talk: John Alan Robinson
Merging Functional with Relational Programming in a Reduction Setting (LICS 1986) More Information...
Robinson, E.
- Paper: Robinson, E.
How complete is PER? (LICS 1989) More Information... - Paper: Robinson, E. Rosolini, G.
Polymorphism, set theory, and call-by-value (LICS 1990) More Information...
Robinson, E.P.
- Paper: Freyd, P.J. Robinson, E.P. Rosolini, G.
Functional parametricity (LICS 1992) More Information...
Edmund Robinson
- Paper: Edmund Robinson Giuseppe Rosolini
Reflexive graphs and parametric polymorphism (LICS 1994) More Information...
Alexander Rohr
- Paper: Michael Marz Alexander Rohr Thomas Streicher
Full Abstraction and Universality via Realisability (LICS 1999) More Information...
Simona Ronchi della Rocca
- Paper: Adolfo Piperno Simona Ronchi della Rocca
Type inference and extensionality (LICS 1994) More Information...
Eric Rosen
- Paper: Erich Graedel Martin Otto Eric Rosen
Two-variable logic with counting is decidable (LICS 1997) More Information... - Paper: Erich Gradel Eric Rosen
Two-Variable Descriptions of Regularity (LICS 1999) More Information...
Roni Rosner
- Paper: Roni Rosner Amir Pnueli
A Choppy Logic (LICS 1986) More Information...
Rosner, R.
- Paper: Harel, D. Rosner, R. Vardi, M.
On the power of bounded concurrency. III. Reasoning about programs (LICS 1990) More Information...
Rosolini, G.
- Paper: Robinson, E. Rosolini, G.
Polymorphism, set theory, and call-by-value (LICS 1990) More Information... - Paper: Freyd, P. Mulry, P. Rosolini, G. Scott, D.
Extensional PERs (LICS 1990) More Information... - Paper: Freyd, P.J. Robinson, E.P. Rosolini, G.
Functional parametricity (LICS 1992) More Information...
Giuseppe Rosolini
- Paper: Edmund Robinson Giuseppe Rosolini
Reflexive graphs and parametric polymorphism (LICS 1994) More Information... - Paper: Lars Birkedal Aurelio Carboni Giuseppe Rosolini Dana S. Scott
Type Theory via Exact Categories (LICS 1998) More Information...
Benjamin Rossman
- Paper: Benjamin Rossman
Successor-Invariance in the Finite (LICS 2003) More Information... - Paper: Benjamin Rossman
Existential Positive Types and Preservation under Homomorphisisms (LICS 2005) More Information...
Michel de Rougemont
- 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...
William C. Rounds
- Paper: William C. Rounds Robert T. Kasper
A Complete Logical Calculus for Record Structures Representing Linguistic Information (LICS 1986) More Information... - Paper: Guo-Qiang Zhang William C. Rounds
Complexity of Power Default Reasoning (LICS 1997) More Information...
Rounds, W.C.
- Paper: Dorre, J. Rounds, W.C.
On subsumption and semiunification in feature algebras (LICS 1990) More Information...
Sasha Rubin
- Paper: Hajime Ishihara Bakhadyr Khoussainov Sasha Rubin
Some Results on Automatic Structures (LICS 2002) More Information... - Paper: Bakhadyr Khoussainov Sasha Rubin Frank Stephan
On Automatic Partial Orders (LICS 2003) More Information... - Paper: Bakhadyr Khoussainov Andre Nies Sasha Rubin Frank Stephan
Automatic Structures: Richness and Limitations (LICS 2004) More Information...
A. Rubio
- Paper: H. Comon R. Nieuwenhuis A. Rubio
Orderings, AC-theories and Symbolic Constraint Solving (LICS 1995) More Information... - Paper: J.-P. Jouannaud A. Rubio
The Higher-Order Recursive Path Ordering (LICS 1999) More Information...
Albert Rubio
- Paper: Miquel Bofill Guillem Godoy Robert Nieuwenhuis Albert Rubio
Paramodulation with Non-Monotonic Orderings (LICS 1999) More Information...
Harald Rueß
- Paper: Harald Rueß Natarajan Shankar
Deconstructing Shostak (LICS 2001) More Information...
Paul Ruet
- Paper: François Fages Paul Ruet Sylvain Soliman
Phase Semantics and Verification of Concurrent Constraint Programs (LICS 1998) More Information...
Matthias Ruhl
- Paper: Matthias Ruhl
Counting and Addition cannot Express Deterministic Transitive Closure (LICS 1999) More Information...
Michaël Rusinowitch
- Paper: Paliath Narendran Michaël Rusinowitch
The unifiability problem in ground AC theories (LICS 1993) More Information... - Paper: Hubert Comon Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch
Decision Problems in Ordered Rewriting (LICS 1998) More Information... - Paper: Yannick Chevalier Ralf Küsters Michaël Rusinowitch Mathieu Turuani
An NP Decision Procedure for Protocol Insecurity with XOR (LICS 2003) More Information...
Russell, J.R.
- Paper: Murthy, C.R. Russell, J.R.
A constructive proof of Higman's lemma (LICS 1990) More Information...
Mark Ryan
- Paper: Mark Ryan
Defaults and revision in structured theories (LICS 1991) More Information...
Andrey Rybalchenko
- Paper: Andreas Podelski Andrey Rybalchenko
Transition Invariants (LICS 2004) More Information...
Tatiana Rybina
- Paper: Tatiana Rybina Andrei Voronkov
A Decision Procedure for Term Algebras with Queues (LICS 2000) More Information...