
Conferences in DBLP
 Stefan Wöhrle, Wolfgang Thomas
Model Checking Synchronized Products of Infinite Transition Systems. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:211 [Conf]
 Javier Esparza, Antonín Kucera, Richard Mayr
Model Checking Probabilistic Pushdown Automata. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:1221 [Conf]
 Michael Baldamus, Joachim Parrow, Björn Victor
Spi Calculus Translated to ?Calculus Preserving MayTests. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:2231 [Conf]
 Andreas Podelski, Andrey Rybalchenko
Transition Invariants. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:3241 [Conf]
 Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
Automatic Structures: Richness and Limitations. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:4453 [Conf]
 Joël Ouaknine, James Worrell
On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:5463 [Conf]
 Philippe de Groote, Bruno Guillaume, Sylvain Salvati
Vector Addition Tree Automata. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:6473 [Conf]
 Mihalis Yannakakis
Testing, Optimizaton, and Games. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:7888 [Conf]
 Daniel Leivant
Proving Termination Assertions in Dynamic Logics. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:8998 [Conf]
 Sanjit A. Seshia, Randal E. Bryant
Deciding QuantifierFree Presburger Formulas Using Parameterized Solution Bounds. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:100109 [Conf]
 Felix Klaedtke
On the Automata Size for Presburger Arithmetic. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:110119 [Conf]
 Louis Latour
From Automata to Formulas: Convex Integer Polyhedra. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:120129 [Conf]
 Alexander A. Razborov
Feasible Proofs and Computations: Partnership and Fusion. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:134138 [Conf]
 Murdoch Gabbay, James Cheney
A Sequent Calculus for Nominal Logic. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:139148 [Conf]
 Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.H. Luke Ong, Ian D. B. Stark
Nominal Games and Full Abstraction for the NuCalculus. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:150159 [Conf]
 Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
Games with Secure Equilibria. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:160169 [Conf]
 Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan
ThreeValued Abstractions of Games: Uncertainty, but with Precision. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:170179 [Conf]
 Kazushige Terui
Proof Nets and Boolean Circuits. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:182191 [Conf]
 Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:192201 [Conf]
 Benedetto Intrigila, Richard Statman
The Omega Rule is II_2^0Hard in the lambda beta Calculus. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:202210 [Conf]
 Carsten Führmann, David J. Pym
On the Geometry of Interaction for Classical Logic. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:211220 [Conf]
 Michael Huth
Beyond ImageFiniteness: Labelled Transition Systems as a Stone Space. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:222231 [Conf]
 Víctor Dalmau, Andrei A. Krokhin, Benoit Larose
FirstOrder Definable Retraction Problems for Posets and Reflexive Graph. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:232241 [Conf]
 Brian Dunphy, Uday S. Reddy
Parametric Limits. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:242251 [Conf]
 Robert Harper
SelfAdjusting Computation. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:254255 [Conf]
 Stephen A. Cook, Neil Thapen
The Strength of Replacement in Weak Arithmetic. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:256264 [Conf]
 Patrick Baillot, Kazushige Terui
Light Types for Polynomial Time Computation in LambdaCalculus. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:266275 [Conf]
 Antonio Bucciarelli, Antonino Salibra
The Sensible Graph Theories of Lambda Calculus. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:276285 [Conf]
 Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning
A Symmetric Modal Lambda Calculus for Distributed Computing. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:286295 [Conf]
 Davide Sangiorgi
Bisimulation: From The Origins to Today. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:298302 [Conf]
 Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
Congruence for SOS with Data. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:303312 [Conf]
 David A. Naumann, Michael Barnett
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:313323 [Conf]
 Ulrich Berger
A Computational Interpretation of Open Induction. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:326 [Conf]
 Dennis Dams, Kedar S. Namjoshi
The Existence of Finite Abstractions for Branching Time Model Checking. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:335344 [Conf]
 Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata
MultiClock Timed Networks. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:345354 [Conf]
 Igor Walukiewicz
A Landscape with Games in the Backgroun. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:356366 [Conf]
 Gustav Nordh, Peter Jonsson
An Algebraic Approach to the Complexity of Propositional Circumscription. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:367376 [Conf]
 Phuong Nguyen, Stephen A. Cook
VTC ^{circ}: A SecondOrder Theory for TC^{circ}. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:378387 [Conf]
 Jörg Flum, Martin Grohe
ModelChecking Problems as a Basis for Parameterized Intractability. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:388397 [Conf]
 Stephen A. Cook, Antonina Kolokolova
A SecondOrder Theory for NL. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:398407 [Conf]
 Samson Abramsky
HighLevel Methods for Quantum Computation and Information. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:410414 [Conf]
 Samson Abramsky, Bob Coecke
A Categorical Semantics of Quantum Protocols. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:415425 [Conf]
 J. Raymundo MarcialRomero, Martín Hötzel Escardó
Semantics of a Sequential Language for Exact RealNumber Computation. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:426435 [Conf]
 Martin Grohe, Nicole Schweikardt
The Succinctness of FirstOrder Logic on Linear Orders. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:438447 [Conf]
 Andrei A. Bulatov
A Graph of a Relational Structure and Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:448457 [Conf]
 Kerkko Luosto
Equicardinality on Linear Orders. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:458465 [Conf]
