Search results for "LICS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Roberto Bruni, Ugo Montanari	Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.	LICS	1999	DBLP DOI BibTeX RDF	double categories, mobile calculi, higher-order communications, lambda-calculus, pi-calculus, cartesian closed categories
1	Alex K. Simpson	Elementary Axioms for Categories of Classes.	LICS	1999	DBLP DOI BibTeX RDF
1	Lawrence C. Paulson	Proving Security Protocols Correct.	LICS	1999	DBLP DOI BibTeX RDF
1	Erich Grädel, Eric Rosen	Two-Variable Descriptions of Regularity.	LICS	1999	DBLP DOI BibTeX RDF
1	Harald Ganzinger, Hans de Nivelle	A Superposition Decision Procedure for the Guarded Fragment with Equality.	LICS	1999	DBLP DOI BibTeX RDF
1	Leonid Libkin	Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries.	LICS	1999	DBLP DOI BibTeX RDF
1	Jean-Pierre Jouannaud, Albert Rubio	The Higher-Order Recursive Path Ordering.	LICS	1999	DBLP DOI BibTeX RDF
1	Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio	Paramodulation with Non-Monotonic Orderings.	LICS	1999	DBLP DOI BibTeX RDF	term rewriting, automated deduction
1	Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong	Logics with Aggregate Operators.	LICS	1999	DBLP DOI BibTeX RDF
1	Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel	Weak Bisimulation and Open Maps.	LICS	1999	DBLP DOI BibTeX RDF	semantics, Concurrency, denotational semantics, categorical models
1	Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt	Full Completeness of the Multiplicative Linear Logic of Chu Spaces.	LICS	1999	DBLP DOI BibTeX RDF	Chu spaces, categorical logic, natural transformations, coherence spaces, Linear logic, logical relations
1	Russell Harmer, Guy McCusker	A Fully Abstract Game Semantics for Finite Nondeterminism.	LICS	1999	DBLP DOI BibTeX RDF
1	Augustin Baziramwabo, Pierre McKenzie, Denis Thérien	Modular Temporal Logic.	LICS	1999	DBLP DOI BibTeX RDF	semigroup theory, temporal logic, finite model theory
1	Joseph Y. Halpern, Nir Friedman	Plausibility Measures and Default Reasoning: An Overview.	LICS	1999	DBLP DOI BibTeX RDF
1	Martin Hofmann 0001	Semantical Analysis of Higher-Order Abstract Syntax.	LICS	1999	DBLP DOI BibTeX RDF
1	Michele Boreale, Rocco De Nicola, Rosario Pugliese	Proof Techniques for Cryptographic Processes.	LICS	1999	DBLP DOI BibTeX RDF	Logical aspects of protocol security, Formal methods, Semantics, Concurrency
1	Joseph Y. Halpern, Richard A. Shore	Reasoning about Common Knowledge with Infinitely Many Agents.	LICS	1999	DBLP DOI BibTeX RDF
1	Michael Marz, Alexander Rohr, Thomas Streicher	Full Abstraction and Universality via Realisability.	LICS	1999	DBLP DOI BibTeX RDF	realisability models, full abstraction, domain theory, categorical models
1	Harald Ganzinger, Christoph Meyer 0001, Margus Veanes	The Two-Variable Guarded Fragment with Transitive Relations.	LICS	1999	DBLP DOI BibTeX RDF	Two-Variable First-Order Logics, Modal Logics, Transitivity, Guarded Fragment
1	Albert Atserias, Phokion G. Kolaitis	First-Order Logic vs. Fixed-Point Logic in Finite Set Theory.	LICS	1999	DBLP DOI BibTeX RDF
1	Dexter Kozen	On Hoare Logic and Kleene Algebra with Tests.	LICS	1999	DBLP DOI BibTeX RDF	combination of logics, verification, formal methods, universal algebra, logics of programs
1	Anindya Banerjee 0001, Nevin Heintze, Jon G. Riecke	Region Analysis and the Polymorphic Lambda Calculus.	LICS	1999	DBLP DOI BibTeX RDF	semantics, program analysis, garbage collection, memory management, polymorphism
1	Dario Colazzo, Giorgio Ghelli	Subtyping Recursive Types in Kernel Fun.	LICS	1999	DBLP DOI BibTeX RDF	type theory and type systems, kernel Fun, subtyping, recursive types
1	Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi	Abstract Syntax and Variable Binding.	LICS	1999	DBLP DOI BibTeX RDF	categorical models and logics, type theory and type systems, semantics, lambda calculus, abstract syntax, universal algebra, variable binding
1	David J. Pym	On Bunched Predicate Logic.	LICS	1999	DBLP DOI BibTeX RDF
1		14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999	LICS	1999	DBLP BibTeX RDF
1	Samson Abramsky, Paul-André Melliès	Concurrent Games and Full Completeness.	LICS	1999	DBLP DOI BibTeX RDF
1	Pasquale Malacaria, Chris Hankin	Non-Deterministic Games and Program Analysis: An Application to Security.	LICS	1999	DBLP DOI BibTeX RDF	security, type systems, linear logic, game semantics
1	A. J. Kfoury, Santiago M. Pericás-Geertsen	Type Inference for Recursive Definitions.	LICS	1999	DBLP DOI BibTeX RDF	type systems, type inference, lambda calculus, unification, software specification
1	Erich Grädel, Igor Walukiewicz	Guarded Fixed Point Logic.	LICS	1999	DBLP DOI BibTeX RDF
1	Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz	The Horn Mu-calculus.	LICS	1998	DBLP DOI BibTeX RDF
1	Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch	Decision Problems in Ordered Rewriting.	LICS	1998	DBLP DOI BibTeX RDF
1	Luca de Alfaro	How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems.	LICS	1998	DBLP DOI BibTeX RDF
1	Wolfgang Thomas	Monadic Logic and Automata: Recent Developments.	LICS	1998	DBLP DOI BibTeX RDF
1	Marcelo P. Fiore, Kohei Honda 0001	Recursive Types in Games: Axiomatics and Process Representation.	LICS	1998	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	Linear vs. Branching Time: A Complexity-Theoretic Perspective.	LICS	1998	DBLP DOI BibTeX RDF
1		Thirteenth Annual IEEE Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998	LICS	1998	DBLP BibTeX RDF
1	Jean-Marie Le Bars	Fragments of Existential Second-Order Logic without 0-1 Laws.	LICS	1998	DBLP DOI BibTeX RDF
1	Roger M. Needham	Logic and Over-Simplification.	LICS	1998	DBLP DOI BibTeX RDF
1	Ramesh Viswanathan	Full Abstraction for First-Order Objects with Recursive Types and Subtyping.	LICS	1998	DBLP DOI BibTeX RDF
1	Thomas Eiter, Georg Gottlob, Yuri Gurevich	Existential Second-Order Logic over Strings.	LICS	1998	DBLP DOI BibTeX RDF
1	Ofer Arieli, Arnon Avron	The Logical Role of the Four-Valued Bilattice.	LICS	1998	DBLP DOI BibTeX RDF
1	Maribel Fernández, Ian Mackie	Coinductive Techniques for Operational Equivalence of Interaction Nets.	LICS	1998	DBLP DOI BibTeX RDF
1	Josée Desharnais, Abbas Edalat, Prakash Panangaden	A Logical Characterization of Bisimulation for Labeled Markov Processes.	LICS	1998	DBLP DOI BibTeX RDF
1	Andrei Voronkov	Herbrand's Theorem, Automated Reasoning and Semantics Tableaux.	LICS	1998	DBLP DOI BibTeX RDF
1	Andrea Asperti	Light Affine Logic.	LICS	1998	DBLP DOI BibTeX RDF
1	Anuj Dawar, Lauri Hella, Anil Seth	Ordering Finite Variable Types with Generalized Quantifiers.	LICS	1998	DBLP DOI BibTeX RDF
1	Jan Johannsen, Chris Pollett	On Proofs about Threshold Circuits and Counting Hierarchies.	LICS	1998	DBLP DOI BibTeX RDF
1	Martín Abadi, Cédric Fournet, Georges Gonthier	Secure Implementation of Channel Abstractions.	LICS	1998	DBLP DOI BibTeX RDF
1	Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott	Type Theory via Exact Categories.	LICS	1998	DBLP DOI BibTeX RDF
1	Ian Mackie	Linear Logic With Boxes.	LICS	1998	DBLP DOI BibTeX RDF
1	Karen L. Bernstein	A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages.	LICS	1998	DBLP DOI BibTeX RDF
1	Joachim Parrow, Björn Victor	The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes	LICS	1998	DBLP DOI BibTeX RDF
1	Martin Grohe	Fixed-Point Logics on Planar Graphs.	LICS	1998	DBLP DOI BibTeX RDF
1	Margus Veanes	The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification.	LICS	1998	DBLP DOI BibTeX RDF
1	Dirk van Dalen	L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments.	LICS	1998	DBLP DOI BibTeX RDF
1	Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel	A Theory of Recursive Domains with Applications to Concurrency.	LICS	1998	DBLP DOI BibTeX RDF
1	Samson Abramsky, Kohei Honda 0001, Guy McCusker	A Fully Abstract Game Semantics for General References.	LICS	1998	DBLP DOI BibTeX RDF
1	Phokion G. Kolaitis, Martin Otto 0001	On the Boundedness Problem for Two-Variable First-Order Logic.	LICS	1998	DBLP DOI BibTeX RDF
1	Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe 0002, James Worrell 0001	An Axiomatics for Categories of Transition Systems as Coalgebras.	LICS	1998	DBLP DOI BibTeX RDF
1	Johan van Benthem	Process Operations in Extended Dynamic Logics.	LICS	1998	DBLP DOI BibTeX RDF
1	E. Allen Emerson, Kedar S. Namjoshi	On Model Checking for Non-Deterministic Infinite-State Systems.	LICS	1998	DBLP DOI BibTeX RDF
1	François Fages, Paul Ruet, Sylvain Soliman	Phase Semantics and Verification of Concurrent Constraint Programs.	LICS	1998	DBLP DOI BibTeX RDF
1	Manfred Jaeger	Convergence Results for Relational Bayesian Networks.	LICS	1998	DBLP DOI BibTeX RDF
1	John T. Baldwin 0001, Michael Benedikt	Embedded Finite Models, Stability Theory and the Impact of Order.	LICS	1998	DBLP DOI BibTeX RDF
1	Marcelo F. Frias, Roger D. Maddux	Completeness of a Relational Calculus for Program Schemes.	LICS	1998	DBLP DOI BibTeX RDF
1	Claudio Hermida, Michael Makkai, John Power	Higher Dimensional Multigraphs.	LICS	1998	DBLP DOI BibTeX RDF
1	Paul-André Melliès	A Stability Theorem in Rewriting Theory.	LICS	1998	DBLP DOI BibTeX RDF
1	Martin Müller 0001, Joachim Niehren, Ralf Treinen	The First-Order Theory of Ordering Constraints over Feature Trees.	LICS	1998	DBLP DOI BibTeX RDF
1	Leonid Libkin	On Counting Logics and Local Properties.	LICS	1998	DBLP DOI BibTeX RDF
1	Makoto Tatsuta	Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis.	LICS	1998	DBLP DOI BibTeX RDF
1	Hirofumi Yokouchi	Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers.	LICS	1998	DBLP DOI BibTeX RDF
1	Dusko Pavlovic, Martín Hötzel Escardó	Calculus in Coinductive Form.	LICS	1998	DBLP DOI BibTeX RDF
1	Enno Folkerts	Invertibility in lambda-eta.	LICS	1998	DBLP DOI BibTeX RDF
1	Eugene W. Stark, Scott A. Smolka	Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata.	LICS	1998	DBLP DOI BibTeX RDF
1	Michele Boreale, Davide Sangiorgi	Bisimulation in Name-Passing Calculi without Matching.	LICS	1998	DBLP DOI BibTeX RDF
1	Orna Kupferman, Moshe Y. Vardi	Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time.	LICS	1998	DBLP DOI BibTeX RDF
1	George C. Necula, Peter Lee 0001	Efficient Representation and Validation of Proofs.	LICS	1998	DBLP DOI BibTeX RDF
1	Jon G. Riecke, Anders Sandholm 0001	A Relational Account of Call-by-Value Sequentiality.	LICS	1997	DBLP DOI BibTeX RDF
1	Adel Bouhoula, Jean-Pierre Jouannaud	Automata-Driven Automated Induction.	LICS	1997	DBLP DOI BibTeX RDF	automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
1	Naoki Kobayashi 0001	A Partially Deadlock-Free Typed Process Calculus.	LICS	1997	DBLP DOI BibTeX RDF
1	Martín Hötzel Escardó, Thomas Streicher	Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras.	LICS	1997	DBLP DOI BibTeX RDF
1	Nevin Heintze, David A. McAllester	On the Cubic Bottleneck in Subtyping and Flow Analysis.	LICS	1997	DBLP DOI BibTeX RDF
1	Leonid Libkin	On the Forms of Locality over Finite Models.	LICS	1997	DBLP DOI BibTeX RDF
1	Martin Grohe	Large Finite Structures with Few Lk-Types.	LICS	1997	DBLP DOI BibTeX RDF
1	Dexter Kozen	On the Complexity of Reasoning in Kleene Algebra.	LICS	1997	DBLP DOI BibTeX RDF
1	Leszek Pacholski, Wieslaw Szwast, Lidia Tendera	Complexity of Two-Variable Logic with Counting.	LICS	1997	DBLP DOI BibTeX RDF
1	Sergei G. Vorobyov	The "Hardest" Natural Decidable Theory.	LICS	1997	DBLP DOI BibTeX RDF
1	Max I. Kanovich, Takayasu Ito	Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
1	Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden	Bisimulation for Labelled Markov Processes.	LICS	1997	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Frank Pfenning	Linear Higher-Order Pre-Unification.	LICS	1997	DBLP DOI BibTeX RDF	linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions
1	Peter John Potts, Abbas Edalat, Martín Hötzel Escardó	Semantics of Exact Real Arithmetic.	LICS	1997	DBLP DOI BibTeX RDF
1	James Laird	Full Abstraction for Functional Languages with Control.	LICS	1997	DBLP DOI BibTeX RDF
1	P. S. Thiagarajan, Igor Walukiewicz	An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.	LICS	1997	DBLP DOI BibTeX RDF
1	Jean Goubault-Larrecq	Ramified Higher-Order Unification.	LICS	1997	DBLP DOI BibTeX RDF
1	Fritz Henglein, Jakob Rehof	The Complexity of Subtype Entailment for Simple Types.	LICS	1997	DBLP DOI BibTeX RDF	subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
1	Eugene Asarin, Paul Caspi, Oded Maler	A Kleene Theorem for Timed Automata.	LICS	1997	DBLP DOI BibTeX RDF	Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory
1	Oliver Matz, Wolfgang Thomas	The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite.	LICS	1997	DBLP DOI BibTeX RDF
1	Franz Baader	Combination of Compatible Reduction Orderings that are Total on Ground Terms.	LICS	1997	DBLP DOI BibTeX RDF
1		Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997	LICS	1997	DBLP BibTeX RDF

Publications at "LICS"( http://dblp.L3S.de/Venues/LICS )