6. LICS 1991:
Amsterdam, The Netherlands
Proceedings of the Sixth Annual Symposium on Logic in Computer Science
(LICS '91), Amsterdam, The Netherlands, July, 1991.
IEEE Computer Society
- Daniel Leivant:
A Foundational Delineation of Computational Feasiblity.
2-11 BibTeX
- Fabio Alessi, Franco Barbanera:
Towards a Semantics for the QUEST Language.
12-21 BibTeX
- Peter Aczel:
Term Declaration Logic and Generalised Composita.
22-30 BibTeX
- Joshua S. Hodas, Dale Miller:
Logic Programming in a Fragment of Intuitionistic Linear Logic.
32-42 BibTeX
- Yves Lafont, Thomas Streicher:
Games Semantics for Linear Logic.
43-50 BibTeX
- Patrick Lincoln, Andre Scedrov, Natarajan Shankar:
Linearizing Intuitionistic Implication.
51-62 BibTeX
- Pasquale Malacaria, Laurent Regnier:
Some Results on the Interpretation of lambda-calculus in Operator Algebras.
63-72 BibTeX
- Frank Pfenning:
Unification and Anti-Unification in the Calculus of Constructions.
74-85 BibTeX
- Philippe Audebaud:
Partial Objects in the Calculus of Constructions.
86-95 BibTeX
- Chetan R. Murthy:
An Evaluation Semantics for Classical Proofs.
96-107 BibTeX
- Rance Cleaveland, Amy E. Zwarico:
A Theory of Testing for Real-Time.
110-119 BibTeX
- Hardi Hungar:
Complexity Bounds of Hoare-style Proof Systems.
120-126 BibTeX
- Hing-Kai Hung, Jeffery I. Zucker:
Semantics of Pointers, Referencing and Dereferencing with Intensional Logic.
127-136 BibTeX
- Antonio Bucciarelli, Thomas Ehrhard:
Sequentiality and Strong Stability.
138-145 BibTeX
- Allen Stoughton:
Parallel PCF Has a Unique Extensional Model.
146-151 BibTeX
- Paul Taylor:
The Fixed Point Property in Synthetic Domain Theory.
152-160 BibTeX
- Douglas J. Howe:
On Computational Open-Endedness in Martin-Löf's Type Theory.
162-172 BibTeX
- Nax Paul Mendler:
Predicative Type Universes and Primitive Recursion.
173-184 BibTeX
- Richard Statman:
Freyd's Hierarchy of Combinator Monoids.
186-190 BibTeX
- Enrico Tronci:
Equational Prgoramming in lambda-calculus.
191-202 BibTeX
- Ulrich Berger, Helmut Schwichtenberg:
An Inverse of the Evaluation Functional for Typed lambda-calculus.
203-211 BibTeX
- Dexter Kozen:
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events.
214-225 BibTeX
- Arnon Avron, Yoram Hirshfeld:
On First Order Database Query Languages.
226-231 BibTeX
- Doron Peled, Shmuel Katz, Amir Pnueli:
Specifying and Proving Serializability in Temporal Logic.
232-244 BibTeX
- Juanito Camilleri, Glynn Winskel:
CCS with Priority Choice.
246-255 BibTeX
- Nils Klarlund, Dexter Kozen:
Rabin Measures and Their Applications to Fairness and Automata Theory.
256-265 BibTeX
- Bengt Jonsson, Kim Guldstrand Larsen:
Specification and Refinement of Probabilistic Processes.
266-277 BibTeX
- Leszek Pacholski, Wieslaw Szwast:
On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality.
280-285 BibTeX
- Maria Luisa Bonet, Samuel R. Buss:
On the Deduction Rule and the Number of Proof Lines.
286-297 BibTeX
- Thom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni:
Logic Programs as Types for Logic Programs.
300-309 BibTeX
- Michael Kifer, James Wu:
A First-Order Theory of Types and Polymorphism in Logic Programming.
310-321 BibTeX
- Agostino Cortesi, Gilberto Filé, William H. Winsborough:
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis.
322-327 BibTeX
- Peter J. Stuckey:
Constructive Negation for Constraint Logic Programming.
328-339 BibTeX
- Tobias Nipkow:
Higher-Order Critical Pairs.
342-349 BibTeX
- Jean-Pierre Jouannaud, Mitsuhiro Okada:
A Computation Model for Executable Higher-Order Algebraic Specification Languages.
350-361 BibTeX
- Mark Ryan:
Defaults and Revision in Structured Theories.
362-373 BibTeX
- Hans Hüttel, Colin Stirling:
Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes.
376-386 BibTeX
- Frits W. Vaandrager:
On the Relationship Between Process Algebra and Input/Output Automata.
387-398 BibTeX
- Frank S. de Boer:
A Compositional Proof System for Dynamic Process Creation.
399-405 BibTeX
- Patrice Godefroid, Pierre Wolper:
A Partial Approach to Model Checking.
406-415 BibTeX
Copyright © Sat May 16 23:28:46 2009
by Michael Ley (ley@uni-trier.de)
