
Conferences in DBLP
 Dominic J. D. Hughes, Rob J. van Glabbeek
Proof Nets for Unitfree MultiplicativeAdditive Linear Logic (Extended abstract). [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:110 [Conf]
 Olivier Laurent, Laurent Regnier
About Translations of Classical Logic into Polarized Linear Logic. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:1120 [Conf]
 Christophe Raffalli
System ST \betareduction and completeness. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:210 [Conf]
 Benjamin C. Pierce
Types and Programming Languages: The Next Generation. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:320 [Conf]
 Amal J. Ahmed, Limin Jia, David Walker
Reasoning about Hierarchical Storage. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:3344 [Conf]
 John Harrison
Formal Verification at Intel. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:450 [Conf]
 Harald Ganzinger, Konstantin Korovin
New Directions in InstantiationBased Theorem Proving. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:5564 [Conf]
 Nachum Dershowitz, Claude Kirchner
Abstract SaturationBased Inference. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:6574 [Conf]
 Konstantin Korovin, Andrei Voronkov
Orienting Equalities with the KnuthBendix Order. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:750 [Conf]
 Alexei Kopylov
Dependent Intersection: A New Way of Defining Records in Type Theory. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:8695 [Conf]
 Viktor Kuncak, Martin C. Rinard
Structural Subtyping of NonRecursive Types is Decidable. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:96107 [Conf]
 Andrzej S. Murawski
On Program Equivalence in Languages with GroundType References. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:1080 [Conf]
 Dale Miller, Alwen Fernanto Tiu
A Proof Theory for Generic Judgments: An extended abstract. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:118127 [Conf]
 Paulo Oliva
Polynomialtime Algorithms from Ineffective Proofs. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:128137 [Conf]
 Josh BureshOppenheim, Toniann Pitassi
The Complexity of Resolution Refinements. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:1380 [Conf]
 Benjamin Rossman
SuccessorInvariance in the Finite. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:1480 [Conf]
 Erich Grädel, Stephan Kreutzer
Will Deflation Lead to Depletion? On NonMonotone Fixed Point Inductions. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:1580 [Conf]
 Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
On Automatic Partial Orders. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:168177 [Conf]
 Leonid Libkin, Frank Neven
Logical Definability and Query Languages over Unranked Trees. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:178187 [Conf]
 Markus Frick, Martin Grohe, Christoph Koch
Query Evaluation on Compressed Trees (Extended Abstract). [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:1880 [Conf]
 Joël Ouaknine, James Worrell
Revisiting Digitization, Robustness, and Decidability for Timed Automata. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:198207 [Conf]
 Govert van Drimmelen
Satisfiability in Alternatingtime Temporal Logic. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:208217 [Conf]
 Petr Jancar
Strong Bisimilarity on Basic Parallel Processes is PSPACEcomplete. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:2180 [Conf]
 Martín Abadi
Logic in Access Control. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:2280 [Conf]
 Marco Pistore, Moshe Y. Vardi
The Planning Spectrum  One, Two, Three, Infinity. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:234243 [Conf]
 John McCarthy
Advice about logical AI. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:2440 [Conf]
 George C. Necula, Robert R. Schneck
A Sound Framework for Untrusted VerificationCondition Generators. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:248260 [Conf]
 Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
An NP Decision Procedure for Protocol Insecurity with XOR. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:261270 [Conf]
 Hubert ComonLundh, Vitaly Shmatikov
Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:2710 [Conf]
 Aaron Hunter
Spectrum Hierarchies and Subdiagonal Functions. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:281290 [Conf]
 Yuri Gurevich, Saharon Shelah
Spectra of Monadic SecondOrder Formulas with One Unary Function. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:291300 [Conf]
 James F. Lynch
Convergence Law for Random Graphs with Specified Degree Sequence. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:3010 [Conf]
 Tomás Feder, Moshe Y. Vardi
Homomorphism Closed vs. Existential Positive. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:311320 [Conf]
 Andrei A. Bulatov
Tractable conservative Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:3210 [Conf]
 Vincent Danos, Josee Desharnais
Labelled Markov Processes: Stronger and Faster Approximations. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:341350 [Conf]
 Marta Z. Kwiatkowska
Model checking for probability and time: from theory to practice . [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:3510 [Conf]
 E. Allen Emerson, Vineet Kahlon
Model Checking Guarded Protocols. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:361370 [Conf]
 P. Madhusudan
Modelchecking Trace Event Structures. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:371380 [Conf]
 Nir Piterman, Moshe Y. Vardi
MicroMacro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:3810 [Conf]
