Lics

IEEE Symposium on Logic in Computer Science

On this page:

• Invited Speakers
• Invited Papers
• Presented Papers
• Organizers

Invited Speakers

• Robin Milner
  Some Uses of Maximal Fixed Points
• John C. Reynolds
  Conjunctive Types and Algol-like Languages
• Maarten H. van Emden
  First-order Predicate Logic as a Common Basis for Relational and Functional Programming

Invited Papers

• Robin Milner
  Some Uses of Maximal Fixed PointsMore Information...
• John C. Reynolds
  Conjunctive Types and Algol-like LanguagesMore Information...
• Maarten H. van Emden
  First-order Predicate Logic as a Common Basis for Relational and Functional ProgrammingMore Information...

Presented Papers

Entries are ordered by surname of first author

• Martín Abadi
  The Power of Temporal ProofsMore Information...
• Samson Abramsky
  Domain Theory in Logical FormMore Information...
• Stuart F. Allen
  A Non-Type-Theoretic Definition of Martin-Löf's TypesMore Information...
• Bowen Alpern Fred B. Schneider
  Proving Boolean Combinations of Deterministic PropertiesMore Information...
• Leo Bachmair Nachum Dershowitz
  Inference Rules for Rewrite-Based First-Order Theorem ProvingMore Information...
• Nicole Bidoit Christine Froidevaux
  Minimalism subsumes Default Logic and Circumscription in Stratified Logic ProgrammingMore Information...
• Corrado Böhm Enrico Tronci
  X-Separability and Left-Invertibility in lambda-calculusMore Information...
• Val Breazu-Tannen Albert R. Meyer
  Polymorphism is conservative over simple types (Preliminary Report)More Information...
• Robert L. Constable Scott F. Smith
  Partial Objects In Constructive Type TheoryMore Information...
• Max Dauchet Sophie Tison Thierry Heuillard Pierre Lescanne
  Decidability of the Confluence of Ground Term Rewriting SystemsMore Information...
• Ronald Fagin Joseph Y. Halpern
  I'm OK if You're OK: On the Notion of Trusting CommunicationMore Information...
• Peter J. Freyd Andre Scedrov
  Some Semantic Aspects of Polymorphic Lambda CalculusMore Information...
• Haim Gaifman Vaughan R. Pratt
  Partial Order Models of Concurrency and the Computation of FunctionsMore Information...
• Haim Gaifman Harry G. Mairson Yehoshua Sagiv Moshe Y. Vardi
  Undecidable Optimization Problems for Database Logic ProgramsMore Information...
• Jean H. Gallier Stan Raatz Wayne Snyder
  Theorem Proving Using Rigid E-Unification Equational MatingsMore Information...
• Andreas Goerdt
  Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative LanguagesMore Information...
• Joseph A. Goguen José Meseguer
  Order-Sorted Algebra solves the Constructor-Selector, MultipleMore Information...
• Joseph Y. Halpern Edward L. Wimmers
  Full Abstraction and Expressive Completeness for FPMore Information...
• David Harel Amir Pnueli Jeanette P. Schmidt Rivi Sherman
  On the Formal Semantics of Statecharts (Extended Abstract)More Information...
• Robert Harper Furio Honsell Gordon D. Plotkin
  A Framework for Defining LogicsMore Information...
• Douglas J. Howe
  The Computational Behaviour of Girard's ParadoxMore Information...
• Neil Immerman Dexter C. Kozen
  Definability with Bounded Number of Bound VariablesMore Information...
• Assaf J. Kfoury Jerzy Tiuryn Pawel Urzyczyn
  The Hierarchy of Finitely Typed Functional Programs (Short Version)More Information...
• Claude Kirchner Pierre Lescanne
  Solving DisequationsMore Information...
• Nax P. Mendler
  Recursive Types and Type Constraints in Second-Order Lambda CalculusMore Information...
• Dale A. Miller Gopalan Nadathur Andre Scedrov
  Hereditary Harrop Formulas and Uniform Proof SystemsMore Information...
• John C. Mitchell Eugenio Moggi
  Kripke-Style models for typed lambda calculusMore Information...
• Robert A. G. Seely
  Modelling Computations: A 2-Categorical FrameworkMore Information...
• Yoav Shoham
  A Semantical Approach to Nonmonotonic LogicsMore Information...
• A. Prasad Sistla Steven M. German
  Reasoning with Many ProcessesMore Information...
• A. Prasad Sistla Lenore D. Zuck
  On the Eventuality Operator in Temporal LogicMore Information...
• Wolfgang Thomas
  On Chain Logic, Path Logic, and First-Order Logic over Infinite TreesMore Information...
• Moshe Y. Vardi
  Verification of Concurrent Programs: The Automata-Theoretic FrameworkMore Information...
• Mitchell Wand
  Complete Type Inference for Simple ObjectsMore Information...

Organizers