Conferences in DBLP
Roger M. Needham Logic and Over-Simplification. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:2-3 [Conf ] Martin Grohe Fixed-Point Logics on Planar Graphs. [Citation Graph (1, 0)][DBLP ] LICS, 1998, pp:6-15 [Conf ] Thomas Eiter , Georg Gottlob , Yuri Gurevich Existential Second-Order Logic over Strings. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:16-27 [Conf ] Anuj Dawar , Lauri Hella , Anil Seth Ordering Finite Variable Types with Generalized Quantifiers. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:28-43 [Conf ] Manfred Jaeger Convergence Results for Relational Bayesian Networks. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:44-55 [Conf ] Witold Charatonik , David A. McAllester , Damian Niwinski , Andreas Podelski , Igor Walukiewicz The Horn Mu-calculus. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:58-69 [Conf ] E. Allen Emerson , Kedar S. Namjoshi On Model Checking for Non-Deterministic Infinite-State Systems. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:70-80 [Conf ] Orna Kupferman , Moshe Y. Vardi Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:81-92 [Conf ] George C. Necula , Peter Lee Efficient Representation and Validation of Proofs. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:93-104 [Conf ] Martín Abadi , Cédric Fournet , Georges Gonthier Secure Implementation of Channel Abstractions. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:105-116 [Conf ] Ofer Arieli , Arnon Avron The Logical Role of the Four-Valued Bilattice. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:118-126 [Conf ] Marcelo F. Frias , Roger D. Maddux Completeness of a Relational Calculus for Program Schemes. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:127-134 [Conf ] Wolfgang Thomas Monadic Logic and Automata: Recent Developments. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:136-138 [Conf ] François Fages , Paul Ruet , Sylvain Soliman Phase Semantics and Verification of Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:141-152 [Conf ] Karen L. Bernstein A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:153-164 [Conf ] Michele Boreale , Davide Sangiorgi Bisimulation in Name-Passing Calculi without Matching. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:165-175 [Conf ] Joachim Parrow , Björn Victor The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:176-185 [Conf ] Lars Birkedal , Aurelio Carboni , Giuseppe Rosolini , Dana S. Scott Type Theory via Exact Categories. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:188-198 [Conf ] Claudio Hermida , Michael Makkai , John Power Higher Dimensional Multigraphs. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:199-206 [Conf ] Peter Johnstone , John Power , Toru Tsujishita , Hiroshi Watanabe , James Worrell An Axiomatics for Categories of Transition Systems as Coalgebras. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:207-213 [Conf ] Gian Luca Cattani , Marcelo P. Fiore , Glynn Winskel A Theory of Recursive Domains with Applications to Concurrency. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:214-225 [Conf ] Dirk van Dalen L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:228-241 [Conf ] Johan van Benthem Process Operations in Extended Dynamic Logics. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:244-250 [Conf ] Andrei Voronkov Herbrand's Theorem, Automated Reasoning and Semantics Tableaux. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:252-263 [Conf ] Margus Veanes The Relation Between Second-Order Unification and Simultaneous Rigid E -Unification. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:264-275 [Conf ] Hubert Comon , Paliath Narendran , Robert Nieuwenhuis , Michaël Rusinowitch Decision Problems in Ordered Rewriting. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:276-286 [Conf ] Paul-André Melliès A Stability Theorem in Rewriting Theory. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:287-299 [Conf ] Andrea Asperti Light Affine Logic. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:300-308 [Conf ] Ian Mackie Linear Logic With Boxes. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:309-320 [Conf ] Maribel Fernández , Ian Mackie Coinductive Techniques for Operational Equivalence of Interaction Nets. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:321-332 [Conf ] Samson Abramsky , Kohei Honda , Guy McCusker A Fully Abstract Game Semantics for General References. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:334-344 [Conf ] Marcelo P. Fiore , Kohei Honda Recursive Types in Games: Axiomatics and Process Representation. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:345-356 [Conf ] Makoto Tatsuta Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:358-367 [Conf ] Hirofumi Yokouchi Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:368-379 [Conf ] Ramesh Viswanathan Full Abstraction for First-Order Objects with Recursive Types and Subtyping. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:380-391 [Conf ] Moshe Y. Vardi Linear vs. Branching Time: A Complexity-Theoretic Perspective. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:394-405 [Conf ] Dusko Pavlovic , Martín Hötzel Escardó Calculus in Coinductive Form. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:408-417 [Conf ] Enno Folkerts Invertibility in lambda-eta. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:418-429 [Conf ] Martin Müller , Joachim Niehren , Ralf Treinen The First-Order Theory of Ordering Constraints over Feature Trees. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:432-443 [Conf ] Jan Johannsen , Chris Pollett On Proofs about Threshold Circuits and Counting Hierarchies. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:444-452 [Conf ] Luca de Alfaro How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:454-465 [Conf ] Eugene W. Stark , Scott A. Smolka Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:466-477 [Conf ] Josee Desharnais , Abbas Edalat , Prakash Panangaden A Logical Characterization of Bisimulation for Labeled Markov Processes. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:478-487 [Conf ] John T. Baldwin , Michael Benedikt Embedded Finite Models, Stability Theory and the Impact of Order. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:490-500 [Conf ] Leonid Libkin On Counting Logics and Local Properties. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:501-512 [Conf ] Phokion G. Kolaitis , Martin Otto On the Boundedness Problem for Two-Variable First-Order Logic. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:513-524 [Conf ] Jean-Marie Le Bars Fragments of Existential Second-Order Logic without 0-1 Laws. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:525-536 [Conf ]