Conferences in DBLP
Yonit Kesten , Amir Pnueli A Complete Proof Systems for QPTL [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:2-12 [Conf ] Igor Walukiewicz Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:14-24 [Conf ] Orna Kupferman , Amir Pnueli Once and For All [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:25-35 [Conf ] Bruno Dutertre Complete Proof Systems for First Order Interval Temporal Logic [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:36-43 [Conf ] James F. Lynch , Jerzy Tyszkiewicz The Infinitary Logic of Sparse Random Graphs [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:46-53 [Conf ] Anuj Dawar , Erich Grädel Generalized Quantifiers and 0-1 Laws [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:54-64 [Conf ] Georg Gottlob Relativized Logspace and Generalized Quantifiers over Finite Structures [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:65-78 [Conf ] Jan Paredaens , Jan Van den Bussche , Dirk Van Gucht First-order Queries on Finite Structures over the Reals [Citation Graph (13, 0)][DBLP ] LICS, 1995, pp:79-87 [Conf ] Rajeev Alur , Doron Peled , Wojciech Penczek Model-Checking of Causality Properties [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:90-100 [Conf ] Moshe Y. Vardi On the Complexity of Modular Model Checking [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:101-111 [Conf ] Farn Wang Timing Behavior Analysis for Real-Time Systems [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:112-122 [Conf ] Ahmed Bouajjani , Rachid Echahed , Peter Habermehl On the Verification Problem of Nonregular Properties for Nonregular Processes [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:123-133 [Conf ] Michael J. C. Gordon The Semantic Challenge of Verilog HDL [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:136-145 [Conf ] Gopalan Nadathur , Donald W. Loveland Uniform Proofs and Disjunctive Logic Programming (Extended Abstract) [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:148-155 [Conf ] Frank Pfenning Structural Cut Elimination [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:156-166 [Conf ] Christopher Lynch Paramodulation without Duplication [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:167-177 [Conf ] V. Wiktor Marek , Anil Nerode , Jeffrey B. Remmel Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:178-185 [Conf ] Alex Mifsud , Robin Milner , A. John Power Control Structures [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:188-198 [Conf ] Rob J. van Glabbeek , Gordon D. Plotkin Configuration Structures [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:199-209 [Conf ] Simon J. Gay , Rajagopal Nagarajan A Typed Calculus of Synchronous Processes [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:210-220 [Conf ] Marino Miculan , Fabio Gadducci Modal mu-Types for Processes [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:221-231 [Conf ] Samson Abramsky , Guy McCusker Games and Full Abstraction for the Lazy lambda-Calculus [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:234-243 [Conf ] Abbas Edalat Domain Theory in Stochastic Processes [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:244-254 [Conf ] Alan Jeffrey A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:255-264 [Conf ] Robert L. Constable Experience with Type Theory as a Foundation for Computer Science [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:266-279 [Conf ] Daniel J. Dougherty , Ramesh Subrahmanyam Equality between Functionals in the Presence of Coproducts [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:282-291 [Conf ] Giuseppe Longo , Kathleen Milsted , Sergei Soloviev A Logic of Subtyping (Extended Abstract) [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:292-299 [Conf ] Adolfo Piperno Normalization and Extensionality (Extended Abstract) [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:300-310 [Conf ] A. J. Kfoury , J. B. Wells New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:311-321 [Conf ] Alexei P. Stolboushkin Finitely Monotone Properties [Citation Graph (1, 0)][DBLP ] LICS, 1995, pp:324-330 [Conf ] Kousha Etessami , Neil Immerman Tree Canonization and Transitive Closure [Citation Graph (3, 0)][DBLP ] LICS, 1995, pp:331-341 [Conf ] Martin Otto Ptime Canonization for Two Variables with Counting [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:342-352 [Conf ] Anil Seth When Do Fixed Point Logics Capture Complexity Classes? [Citation Graph (1, 0)][DBLP ] LICS, 1995, pp:353-363 [Conf ] Gilles Dowek , Thérèse Hardin , Claude Kirchner Higher-Order Unification via Explicit Substitutions (Extended Abstract) [Citation Graph (1, 0)][DBLP ] LICS, 1995, pp:366-374 [Conf ] Hubert Comon , Robert Nieuwenhuis , Albert Rubio Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract) [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:375-385 [Conf ] Girish Bhat , Rance Cleaveland , Orna Grumberg Efficient On-the-Fly Model Checking for CTL* [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:388-397 [Conf ] Henrik Reif Andersen Partial Model Checking (Extended Abstract) [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:398-407 [Conf ] Enrico Tronci Hardware Verification, Boolean Logic Programming, Boolean Functional Programming [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:408-418 [Conf ] Alex K. Simpson Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:420-430 [Conf ] Bengt Jonsson , Wang Yi Compositional Testing Preorders for Probabilistic Processes [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:431-441 [Conf ] Vaughan R. Pratt The Stone Gamut: A Coordinatization of Mathematics [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:444-454 [Conf ] Erik Palmgren , Viggo Stoltenberg-Hansen Logically Presented Domains [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:455-463 [Conf ] François Lamarche Games Semantics for Full Propositional Linear Logic [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:464-473 [Conf ] Patrick Lincoln , Andre Scedrov , Natarajan Shankar Decision Problems for Second-Order Linear Logic [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:476-485 [Conf ] Max I. Kanovich The Complexity of Neutrals in Linear Logic [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:486-495 [Conf ] Alexey P. Kopylov Decidability of Linear Affine Logic [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:496-504 [Conf ] Boris A. Trakhtenbrot Origins and Metamorphoses of the Trinity: Logic, Nets, Automata [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:506-507 [Conf ] Hubert Comon Sequentiality, Second Order Monadic Logic and Tree Automata [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:508-517 [Conf ]