Lics

IEEE Symposium on Logic in Computer Science

On this page:

• Invited Speakers
• Invited Papers
• Presented Papers
• Organizers

Invited Speakers

• Thierry Coquand
  No title available.
• Nicolaas G. de Bruijn
  No title available.
• Jeff B. Paris
  Modelling Belief

Invited Papers

• Thierry Coquand
  No title available. More Information...
• Nicolaas G. de Bruijn
  No title available. More Information...
• Jeff B. Paris
  Modelling BeliefMore Information...

Presented Papers

Entries are ordered by surname of first author

• Peter Aczel
  Term declaration logic and generalised compositaMore Information...
• Fabio Alessi Franco Barbanera
  Toward a semantics for the QUEST languageMore Information...
• Philippe Audebaud
  Partial objects in the calculus of constructionsMore Information...
• Arnon Avron Yoram Hirshfeld
  On first order database query languagesMore Information...
• Ulrich Berger Helmut Schwichtenberg
  An inverse of the evaluation functional for typed λ-calculus More Information...
• Maria Luisa Bonet Samuel R. Buss
  On the deduction rule and the number of proof linesMore Information...
• Antonio Bucciarelli Thomas Ehrhard
  Sequentiality and strong stabilityMore Information...
• Juanito Camilleri Glynn Winskel
  CCS with priority choiceMore Information...
• Rance Cleaveland Amy E. Zwarico
  A theory of testing for real-timeMore Information...
• Agostino Cortesi Gilberto Filé William H. Winsborough
  Prop revisited: propositional formula as abstract domain for groundness analysis More Information...
• Frank S. de Boer
  A compositional proof system for dynamic process creationMore Information...
• Thom W. Frühwirth Ehud Y. Shapiro Moshe Y. Vardi Eyal Yardeni
  Logic programs as types for logic programsMore Information...
• Patrice Godefroid Pierre Wolper
  A partial approach to model checkingMore Information...
• Joshua S. Hodas Dale A. Miller
  Logic programming in a fragment of intuitionistic linear logicMore Information...
• Douglas J. Howe
  On computational open-endedness in Martin-Lof's type theoryMore Information...
• Hing-Kai Hung Jeffery I. Zucker
  Semantics of pointers, referencing and dereferencing with intensional logic More Information...
• Hardi Hungar
  Complexity bounds of Hoare-style proof systemsMore Information...
• Hans Hüttel Colin Stirling
  Actions speak louder than words: proving bisimilarity for context-free processes More Information...
• Bengt Jonsson Kim G. Larsen
  Specification and refinement of probabilistic processesMore Information...
• Jean-Pierre Jouannaud Mitsuhiro Okada
  A computation model for executable higher-order algebraic specification languages More Information...
• Michael Kifer James Wu
  A first-order theory of types and polymorphism in logic programming More Information...
• Nils Klarlund Dexter C. Kozen
  Rabin measures and their applications to fairness and automata theory More Information...
• Dexter C. Kozen
  A completeness theorem for Kleene algebras and the algebra of regular events More Information...
• Yves Lafont Thomas Streicher
  Games semantics for linear logicMore Information...
• Daniel Leivant
  A foundational delineation of computational feasibilityMore Information...
• Patrick Lincoln Andre Scedrov Natarajan Shankar
  Linearizing intuitionistic implicationMore Information...
• Pasquale Malacaria Laurent Regnier
  Some results on the interpretation of λ-calculus in operator algebras More Information...
• Nax P. Mendler
  Predictive type universes and primitive recursionMore Information...
• Chetan R. Murthy
  An evaluation semantics for classical proofsMore Information...
• Tobias Nipkow
  Higher-order critical pairsMore Information...
• Leszek Pacholski Wieslaw Szwast
  On the 0-1 law for the class of existential second order minimal Godel sentences with equality More Information...
• Doron A. Peled Shmuel Katz Amir Pnueli
  Specifying and proving serializability in temporal logicMore Information...
• Frank Pfenning
  Unification and anti-unification in the calculus of constructions More Information...
• Mark D. Ryan
  Defaults and revision in structured theoriesMore Information...
• Richard Statman
  Freyd's hierarchy of combinator monoidsMore Information...
• Allen Stoughton
  Parallel PCF has a unique extensional modelMore Information...
• Peter J. Stuckey
  Constructive negation for constraint logic programmingMore Information...
• Paul Taylor
  The fixed point property in synthetic domain theoryMore Information...
• Enrico Tronci
  Equational programming in λ-calculusMore Information...
• Fritz W. Vaandrager
  On the relationship between process algebra and input/output automata More Information...

Organizers