ACM/IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
Index by Authors:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Papers and Short Presentations by Authors: R
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Stan Raatz
Tahiry M. Rabehaja
Michael O. Rabin
Alexander M. Rabinovich
Roman Rabinovich
Christophe Raffalli
Arash Rafiey
Mukund Raghothaman
Vincent Rahli
I. V. Ramakrishnan
Vishwanath Raman
Ajith Ramanathan
Revantha Ramanayake
Ramaswamys Ramanujam
M. S. Ramanujan
Lander Ramos
Steven J. Ramsay
Francesco Ranzato
Paolo Rapisarda
Jean-François Raskin
Mikhail A. Raskin
Martin Raszyk
Julian Rathke
Jakob von Raumer
Alexander A. Razborov
Uday S. Reddy
Kenneth W. Regan
Luca Reggio
Laurent Regnier
Jakob Rehof
Giselle Reis
Fabian Reiter
Jeffrey B. Remmel
Didier Rémy
Michel A. Reniers
Thomas W. Reps
Bernhard Reus
David Reutter
Pierre-Alain Reynier
John C. Reynolds
Mark Reynolds
Colin Riba
Alex Rice
Matthew Richardson
Silvain Rideau
Jon G. Riecke
James Riely
Søren Riis
Egbert Rijke
Martin C. Rinard
Martin Ritzert
Exequiel Rivas
Cristian Riveros
Umberto Rivieccio
Michael Roberts
Edmund P. Robinson
John A. Robinson
Alexander Rohr
Mario Román
Miguel Romero
Simona Ronchi della Rocca
Panos Rondogiannis
Eric Rosen
Roni Rosner
Carsten Rösnick
Giuseppe Rosolini
Benjamin Rossman
Grigore Rosu
Jurriaan Rot
William C. Rounds
Stéphane Le Roux
Daniel M. Roy
Sasha Rubin
Albert Rubio
Fabian Ruch
Sebastian Rudolph
Harald Rueß
Paul Ruet
Matthias Ruhl
Michaël Rusinowitch
James R. Russell
Jason M. Rute
Jan Rutten
Mark D. Ryan
Andrey Rybalchenko
Tatiana Rybina
Jakub Rydval
Stan Raatz
Paper:
Jean H. Gallier
Stan Raatz
Wayne Snyder
Theorem Proving Using Rigid E-Unification Equational Matings
(
LICS 1987
)
More Information...
Tahiry M. Rabehaja
Paper:
Annabelle McIver
Carroll Morgan
Tahiry M. Rabehaja
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
(
LICS 2015
)
More Information...
Michael O. Rabin
Invited Paper:
Michael O. Rabin
Rocco A. Servedio
Christopher Thorpe
Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications
(
LICS 2007
)
More Information...
Alexander M. Rabinovich
Paper:
Alexander M. Rabinovich
Boris A. Trakhtenbrot
Nets and data flow interpreters
(
LICS 1989
)
More Information...
Paper:
Faron Moller
Alexander M. Rabinovich
On the Expressive Power of CTL
(
LICS 1999
)
More Information...
Paper:
Mark Jenkins
Joël Ouaknine
Alexander M. Rabinovich
James Worrell
Alternating Timed Automata over Bounded Time
(
LICS 2010
)
More Information...
Paper:
Alexander M. Rabinovich
Sasha Rubin
Interpretations in Trees with Countably Many Branches
(
LICS 2012
)
More Information...
Roman Rabinovich
Short Presentation:
Daniel Neider
Roman Rabinovich
Martin Zimmermann
Down the Borel Hierarchy: Solving Muller Games via Safety Games
(
LICS 2012
)
More Information...
Paper:
Jan van den Heuvel
Stephan Kreutzer
Michal Pilipczuk
Daniel A. Quiroz
Roman Rabinovich
Sebastian Siebertz
Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion
(
LICS 2017
)
More Information...
Christophe Raffalli
Paper:
Christophe Raffalli
System ST \beta-reduction and completeness
(
LICS 2003
)
More Information...
Arash Rafiey
Paper:
Víctor Dalmau
László Egri
Pavol Hell
Benoit Larose
Arash Rafiey
Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy
(
LICS 2015
)
More Information...
Mukund Raghothaman
Invited Paper:
Rajeev Alur
Loris D'Antoni
Jyotirmoy V. Deshmukh
Mukund Raghothaman
Yifei Yuan
Regular Functions and Cost Register Automata
(
LICS 2013
)
More Information...
Paper:
Rajeev Alur
Adam Freilich
Mukund Raghothaman
Regular combinators for string transformations
(
LICS 2014
)
More Information...
Vincent Rahli
Paper:
Vincent Rahli
Mark Bickford
Robert L. Constable
Bar induction: The good, the bad, and the ugly
(
LICS 2017
)
More Information...
Paper:
Mark Bickford
Liron Cohen
Robert L. Constable
Vincent Rahli
Computability Beyond Church-Turing via Choice Sequences
(
LICS 2018
)
More Information...
I. V. Ramakrishnan
Paper:
R. C. Sekar
I. V. Ramakrishnan
Programming in equational logic: beyond strong sequentiality
(
LICS 1990
)
More Information...
Vishwanath Raman
Paper:
Luca de Alfaro
Rupak Majumdar
Vishwanath Raman
Mariëlle Stoelinga
Game Relations and Metrics
(
LICS 2007
)
More Information...
Ajith Ramanathan
Invited Paper:
John C. Mitchell
Ajith Ramanathan
Vanessa Teague
Andre Scedrov
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis
(
LICS 2001
)
More Information...
Revantha Ramanayake
Paper:
Revantha Ramanayake
Extended Kripke lemma and decidability for hypersequent substructural logics
(
LICS 2020
)
More Information...
Paper:
A. R. Balasubramanian
Timo Lang
Revantha Ramanayake
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics
(
LICS 2021
)
More Information...
Ramaswamys Ramanujam
Paper:
Ramaswamys Ramanujam
Locally linear time temporal logic
(
LICS 1996
)
More Information...
M. S. Ramanujan
Paper:
Jakub Gajarský
Petr Hlinený
Jan Obdrzálek
Daniel Lokshtanov
M. S. Ramanujan
A New Perspective on FO Model Checking of Dense Graph Classes
(
LICS 2016
)
More Information...
Lander Ramos
Paper:
Carles Creus
Adria Gascón
Guillem Godoy
Lander Ramos
The HOM Problem is EXPTIME-Complete
(
LICS 2012
)
More Information...
Steven J. Ramsay
Paper:
Andrzej S. Murawski
Steven J. Ramsay
Nikos Tzevelekos
Bisimilarity in Fresh-Register Automata
(
LICS 2015
)
More Information...
Paper:
Toby Cathcart Burn
Luke Ong
Steven J. Ramsay
Dominik Wagner
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses
(
LICS 2021
)
More Information...
Francesco Ranzato
Paper:
Francesco Ranzato
Francesco Tapparo
A New Efficient Simulation Equivalence Algorithm
(
LICS 2007
)
More Information...
Paper:
Roberto Bruni
Roberto Giacobazzi
Roberta Gori
Francesco Ranzato
A Logic for Locally Complete Abstract Interpretations
(
LICS 2021
)
More Information...
Paolo Rapisarda
Paper:
Brendan Fong
Pawel Sobocinski
Paolo Rapisarda
A categorical approach to open and interconnected dynamical systems
(
LICS 2016
)
More Information...
Jean-François Raskin
Paper:
Romain Brenguier
Jean-François Raskin
Mathieu Sassolas
The complexity of admissibility in Omega-regular games
(
LICS 2014
)
More Information...
Paper:
Véronique Bruyére
Noémie Meunier
Jean-François Raskin
Secure equilibria in weighted games
(
LICS 2014
)
More Information...
Paper:
Lorenzo Clemente
Jean-François Raskin
Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
(
LICS 2015
)
More Information...
Paper:
Emmanuel Filiot
Ismaël Jecker
Nathan Lhote
Guillermo A. Pérez
Jean-François Raskin
On delay and regret determinization of max-plus automata
(
LICS 2017
)
More Information...
Paper:
Emmanuel Filiot
Raffaella Gentilini
Jean-François Raskin
Rational Synthesis Under Imperfect Information
(
LICS 2018
)
More Information...
Paper:
Raphaël Berthon
Shibashis Guha
Jean-François Raskin
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
(
LICS 2020
)
More Information...
Mikhail A. Raskin
Paper:
Michael Blondin
Mikhail A. Raskin
The Complexity of Reachability in Affine Vector Addition Systems with States
(
LICS 2020
)
More Information...
Martin Raszyk
Paper:
Elisabet Burjons
Fabian Frei
Martin Raszyk
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
(
LICS 2021
)
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...
Jakob von Raumer
Paper:
Nicolai Kraus
Jakob von Raumer
Path Spaces of Higher Inductive Types in Homotopy Type Theory
(
LICS 2019
)
More Information...
Paper:
Nicolai Kraus
Jakob von Raumer
Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory
(
LICS 2020
)
More Information...
Alexander A. Razborov
Invited Paper:
Alexander A. Razborov
Feasible Proofs and Computations: Partnership and Fusion
(
LICS 2004
)
More Information...
Uday S. Reddy
Paper:
Uday S. Reddy
Passivity and independence
(
LICS 1994
)
More Information...
Paper:
Brian Dunphy
Uday S. Reddy
Parametric Limits
(
LICS 2004
)
More Information...
Kenneth W. Regan
Paper:
Ronald Fagin
Jonathan Lenchner
Kenneth W. Regan
Nikhil Vyas
Multi-Structural Games and Number of Quantifiers
(
LICS 2021
)
More Information...
Luca Reggio
Paper:
Mai Gehrke
Daniela Petrisan
Luca Reggio
Quantifiers on languages and codensity monads
(
LICS 2017
)
More Information...
Paper:
Anuj Dawar
Tomás Jakl
Luca Reggio
Lovász-Type Theorems and Game Comonads
(
LICS 2021
)
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:
Patrick Baillot
Vincent Danos
Thomas Ehrhard
Laurent Regnier
Believe it or not, AJM's games model is a model of classical linear logic
(
LICS 1997
)
More Information...
Paper:
Olivier Laurent
Laurent Regnier
About Translations of Classical Logic into Polarized Linear Logic
(
LICS 2003
)
More Information...
Jakob Rehof
Paper:
Fritz Henglein
Jakob Rehof
The complexity of subtype entailment for simple types
(
LICS 1997
)
More Information...
Paper:
Andrej Dudenhefner
Jakob Rehof
Typability in bounded dimension
(
LICS 2017
)
More Information...
Giselle Reis
Paper:
Matthias Baaz
Alexander Leitsch
Giselle Reis
A Note on the Complexity of Classical and Intuitionistic Proofs
(
LICS 2015
)
More Information...
Fabian Reiter
Paper:
Fabian Reiter
Distributed Graph Automata
(
LICS 2015
)
More Information...
Jeffrey B. Remmel
Paper:
Anil Nerode
Jeffrey B. Remmel
Andre Scedrov
Polynomially graded logic I. A graded version of system T
(
LICS 1989
)
More Information...
Paper:
Victor W. Marek
Anil Nerode
Jeffrey B. Remmel
A theory of nonmonotonic rule systems
(
LICS 1990
)
More Information...
Paper:
Victor W. Marek
Anil Nerode
Jeffrey B. Remmel
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning
(
LICS 1995
)
More Information...
Paper:
Victor W. Marek
Anil Nerode
Jeffrey B. Remmel
On the Complexity of Abduction
(
LICS 1996
)
More Information...
Didier Rémy
Paper:
Julien Cretin
Didier Rémy
System F with coercion constraints
(
LICS 2014
)
More Information...
Michel A. Reniers
Paper:
Mohammad R. Mousavi
Michel A. Reniers
Jan F. Groote
Congruence for SOS with Data
(
LICS 2004
)
More Information...
Thomas W. Reps
Paper:
Thomas W. Reps
Alexey Loginov
Shmuel 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...
David Reutter
Paper:
David Reutter
Jamie Vicary
High-level methods for homotopy construction in associative n-categories
(
LICS 2019
)
More Information...
Paper:
Lukas Heidemann
David Reutter
Jamie Vicary
Zigzag normalisation for associative n-categories
(
LICS 2022
)
More Information...
Paper:
Eric Finster
David Reutter
Jamie Vicary
Alex Rice
A Type Theory for Strictly Unital infinity-Categories
(
LICS 2022
)
More Information...
Pierre-Alain Reynier
Paper:
Emmanuel Filiot
Olivier Gauwin
Pierre-Alain Reynier
Frédéric Servais
From Two-Way to One-Way Finite State Transducers
(
LICS 2013
)
More Information...
Paper:
Luc Dartois
Emmanuel Filiot
Pierre-Alain Reynier
Jean-Marc Talbot
Two-Way Visibly Pushdown Automata and Transducers
(
LICS 2016
)
More Information...
Paper:
Laure Daviaud
Pierre-Alain Reynier
Jean-Marc Talbot
A Generalised Twinning Property for Minimisation of Cost Register Automata
(
LICS 2016
)
More Information...
John C. Reynolds
Invited Paper:
John C. Reynolds
Conjunctive Types and Algol-like Languages
(
LICS 1987
)
More Information...
Invited Paper:
John C. Reynolds
A Logic for Shared Mutable Data Structures
(
LICS 2002
)
More Information...
Mark Reynolds
Paper:
Mark Reynolds
More Past Glories
(
LICS 2000
)
More Information...
Colin Riba
Paper:
Colin Riba
Strong Normalization as Safe Interaction
(
LICS 2007
)
More Information...
Paper:
Colin Riba
Forcing MSO on Infinite Words in Weak MSO
(
LICS 2013
)
More Information...
Paper:
Anupam Das
Colin Riba
A Complete Axiomatization of MSO on Infinite Trees
(
LICS 2015
)
More Information...
Paper:
Pierre Pradic
Colin Riba
LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic
(
LICS 2018
)
More Information...
Alex Rice
Paper:
Eric Finster
David Reutter
Jamie Vicary
Alex Rice
A Type Theory for Strictly Unital infinity-Categories
(
LICS 2022
)
More Information...
Matthew Richardson
Invited Paper:
Pedro M. Domingos
Daniel Lowd
Stanley Kok
Aniruddh Nath
Hoifung Poon
Matthew Richardson
Parag Singla
Unifying Logical and Statistical AI
(
LICS 2016
)
More Information...
Silvain Rideau
Paper:
Silvain Rideau
Glynn Winskel
Concurrent Strategies
(
LICS 2011
)
More Information...
Jon G. Riecke
Paper:
Stavros S. Cosmadakis
Albert R. Meyer
Jon G. Riecke
Completeness for typed lazy inequalities
(
LICS 1990
)
More Information...
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...
James Riely
Paper:
Alan Jeffrey
James Riely
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
(
LICS 2016
)
More Information...
Søren Riis
Paper:
Søren Riis
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity
(
LICS 2008
)
More Information...
Egbert Rijke
Paper:
Ulrik Buchholtz
Egbert Rijke
The real projective spaces in homotopy type theory
(
LICS 2017
)
More Information...
Paper:
Ulrik Buchholtz
Floris van Doorn
Egbert Rijke
Higher Groups in Homotopy Type Theory
(
LICS 2018
)
More Information...
Paper:
Kristina Sojakova
Floris van Doorn
Egbert Rijke
Sequential Colimits in Homotopy Type Theory
(
LICS 2020
)
More Information...
Martin C. Rinard
Paper:
Viktor Kuncak
Martin C. Rinard
Structural Subtyping of Non-Recursive Types is Decidable
(
LICS 2003
)
More Information...
Martin Ritzert
Paper:
Martin Grohe
Martin Ritzert
Learning first-order definable concepts over structures of small degree
(
LICS 2017
)
More Information...
Exequiel Rivas
Paper:
Shin-ya Katsumata
Exequiel Rivas
Tarmo Uustalu
Interaction Laws of Monads and Comonads
(
LICS 2020
)
More Information...
Cristian Riveros
Paper:
Michael Benedikt
Gabriele Puppis
Cristian Riveros
Regular Repair of Specifications
(
LICS 2011
)
More Information...
Paper:
Stephan Kreutzer
Cristian Riveros
Quantitative Monadic Second-Order Logic
(
LICS 2013
)
More Information...
Paper:
Marcelo Arenas
Martin Muñoz
Cristian Riveros
Descriptive Complexity for counting complexity classes
(
LICS 2017
)
More Information...
Umberto Rivieccio
Paper:
Achim Jung
Umberto Rivieccio
Kripke Semantics for Modal Bilattice Logic
(
LICS 2013
)
More Information...
Michael Roberts
Paper:
Pedro H. Azevedo de Amorim
Dexter Kozen
Radu Mardare
Prakash Panangaden
Michael Roberts
Universal Semantics for the Stochastic λ-Calculus
(
LICS 2021
)
More Information...
Edmund P. Robinson
Paper:
Edmund P. Robinson
How complete is PER?
(
LICS 1989
)
More Information...
Paper:
Edmund P. Robinson
Giuseppe Rosolini
Polymorphism, set theory, and call-by-value
(
LICS 1990
)
More Information...
Paper:
Peter J. Freyd
Edmund P. Robinson
Giuseppe Rosolini
Functional parametricity
(
LICS 1992
)
More Information...
Paper:
Edmund P. Robinson
Giuseppe Rosolini
Reflexive graphs and parametric polymorphism
(
LICS 1994
)
More Information...
John A. Robinson
Invited Paper:
John A. Robinson
Merging Functional with Relational Programming in a Reduction Setting
(
LICS 1986
)
More Information...
Alexander Rohr
Paper:
Michael Marz
Alexander Rohr
Thomas Streicher
Full Abstraction and Universality via Realisability
(
LICS 1999
)
More Information...
Mario Román
Paper:
Elena Di Lavore
Giovanni de Felice
Mario Román
Monoidal Streams for Dataflow Programming
(
LICS 2022
)
More Information...
Miguel Romero
Short Presentation:
Pablo Barceló
Leonid Libkin
Miguel Romero
Approximations of Conjunctive Queries
(
LICS 2012
)
More Information...
Paper:
Miguel Romero
Pablo Barceló
Moshe Y. Vardi
The homomorphism problem for regular graph patterns
(
LICS 2017
)
More Information...
Paper:
Clément Carbonnel
Miguel Romero
Stanislav Zivny
Point-width and Max-CSPs
(
LICS 2019
)
More Information...
Simona Ronchi della Rocca
Paper:
Paola Giannini
Simona Ronchi della Rocca
Characterization of typings in polymorphic type discipline
(
LICS 1988
)
More Information...
Paper:
Adolfo Piperno
Simona Ronchi della Rocca
Type inference and extensionality
(
LICS 1994
)
More Information...
Paper:
Claudia Faggian
Simona Ronchi della Rocca
Lambda Calculus and Probabilistic Computation
(
LICS 2019
)
More Information...
Panos Rondogiannis
Paper:
Angelos Charalambidis
Giannos Chatziagapis
Panos Rondogiannis
A Fixed Point Theorem on Lexicographic Lattice Structures
(
LICS 2020
)
More Information...
Eric Rosen
Paper:
Erich Grädel
Martin Otto
Eric Rosen
Two-variable logic with counting is decidable
(
LICS 1997
)
More Information...
Paper:
Erich Grädel
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...
Paper:
David Harel
Roni Rosner
Moshe Y. Vardi
On the power of bounded concurrency. III. Reasoning about programs
(
LICS 1990
)
More Information...
Carsten Rösnick
Short Presentation:
Akitoshi Kawamura
Norbert Müller
Carsten Rösnick
Martin Ziegler
Uniform Polytime Computable Operators on Univariate Real Analytic Functions
(
LICS 2012
)
More Information...
Giuseppe Rosolini
Paper:
Edmund P. Robinson
Giuseppe Rosolini
Polymorphism, set theory, and call-by-value
(
LICS 1990
)
More Information...
Paper:
Peter J. Freyd
Philip Mulry
Giuseppe Rosolini
Dana S. Scott
Extensional PERs
(
LICS 1990
)
More Information...
Paper:
Peter J. Freyd
Edmund P. Robinson
Giuseppe Rosolini
Functional parametricity
(
LICS 1992
)
More Information...
Paper:
Edmund P. 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...
Grigore Rosu
Paper:
Grigore Rosu
Andrei Stefanescu
Stefan Ciobaca
Brandon M. Moore
One-Path Reachability Logic
(
LICS 2013
)
More Information...
Paper:
Xiaohong Chen
Grigore Rosu
Matching μ-Logic
(
LICS 2019
)
More Information...
Jurriaan Rot
Paper:
Filippo Bonchi
Daniela Petrisan
Damien Pous
Jurriaan Rot
Coinduction up-to in a fibrational setting
(
LICS 2014
)
More Information...
Paper:
Yuichi Komorida
Shin-ya Katsumata
Clemens Kupke
Jurriaan Rot
Ichiro Hasuo
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
(
LICS 2021
)
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:
Jochen Dörre
William C. Rounds
On subsumption and semiunification in feature algebras
(
LICS 1990
)
More Information...
Paper:
Guo-Qiang Zhang
William C. Rounds
Complexity of Power Default Reasoning
(
LICS 1997
)
More Information...
Stéphane Le Roux
Paper:
Stéphane Le Roux
Arno Pauly
Infinite sequential games with real-valued payoffs
(
LICS 2014
)
More Information...
Daniel M. Roy
Paper:
Nathanael Leedom Ackerman
Cameron E. Freer
Daniel M. Roy
Noncomputable Conditional Distributions
(
LICS 2011
)
More Information...
Short Presentation:
Nathanael Leedom Ackerman
Cameron E. Freer
Daniel M. Roy
#P-complete conditional distributions
(
LICS 2011
)
More Information...
Paper:
Nathanael L. Ackerman
Jeremy Avigad
Cameron E. Freer
Daniel M. Roy
Jason M. Rute
Algorithmic barriers to representing conditional independence
(
LICS 2019
)
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
André Nies
Sasha Rubin
Frank Stephan
Automatic Structures: Richness and Limitations
(
LICS 2004
)
More Information...
Paper:
Alexander M. Rabinovich
Sasha Rubin
Interpretations in Trees with Countably Many Branches
(
LICS 2012
)
More Information...
Paper:
Raphaël Berthon
Bastien Maubert
Aniello Murano
Sasha Rubin
Moshe Y. Vardi
Strategy logic with imperfect information
(
LICS 2017
)
More Information...
Albert Rubio
Paper:
Hubert Comon-Lundh
Robert Nieuwenhuis
Albert Rubio
Orderings, AC-theories and Symbolic Constraint Solving
(
LICS 1995
)
More Information...
Paper:
Miquel Bofill
Guillem Godoy
Robert Nieuwenhuis
Albert Rubio
Paramodulation with Non-Monotonic Orderings
(
LICS 1999
)
More Information...
Paper:
Jean-Pierre Jouannaud
Albert Rubio
The Higher-Order Recursive Path Ordering
(
LICS 1999
)
More Information...
Fabian Ruch
Paper:
Thierry Coquand
Bassel Mannaa
Fabian Ruch
Stack semantics of type theory
(
LICS 2017
)
More Information...
Sebastian Rudolph
Paper:
Manuel Bodirsky
Thomas Feller
Simon Knäuer
Sebastian Rudolph
On Logics and Homomorphism Closure
(
LICS 2021
)
More Information...
Paper:
Emanuel Kieronski
Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics
(
LICS 2021
)
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...
Short Presentation:
Roberto Maieli
Paul Ruet
Interactive correctness criterion for multiplicative-additive proof-nets
(
LICS 2006
)
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-Lundh
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...
James R. Russell
Paper:
Chetan R. Murthy
James R. Russell
A constructive proof of Higman's lemma
(
LICS 1990
)
More Information...
Jason M. Rute
Paper:
Nathanael L. Ackerman
Jeremy Avigad
Cameron E. Freer
Daniel M. Roy
Jason M. Rute
Algorithmic barriers to representing conditional independence
(
LICS 2019
)
More Information...
Jan Rutten
Paper:
Marcello Bonsangue
Jan Rutten
Alexandra Silva
An Algebra for Kripke Polynomial Coalgebras
(
LICS 2009
)
More Information...
Mark D. Ryan
Paper:
Mark D. 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...
Jakub Rydval
Paper:
Manuel Bodirsky
Wied Pakusa
Jakub Rydval
Temporal Constraint Satisfaction Problems in Fixed-Point Logic
(
LICS 2020
)
More Information...
Last modified: 2022-10-31
13:49
Sam Staton