default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th CSL 1993: Swansea, United Kingdom
- Egon Börger, Yuri Gurevich, Karl Meinke:
Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers. Lecture Notes in Computer Science 832, Springer 1994, ISBN 3-540-58277-0 - Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers:
The Complexity of Set Constraints. 1-17 - Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor:
On Duality for the Modal µ-Calculus. 18-32 - Matthias Baaz, Richard Zach
:
Short Proofs of Tautologies Using the Schema of Equivalence. 33-35 - Jan A. Bergstra, Inge Bethke, Alban Ponse:
Process Algebra with Combinators. 36-65 - Andreas Blass:
Is Game Semantics Necessary? 66-77 - Kevin J. Compton, Rosario Uceda-Sosa:
The Model Theory of Concurrency. 78-90 - Catarina Coquand:
From Semantics to Rules: A Machine Assisted Analysis. 91-105 - Andreas Goerdt, Udo Kamps:
On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search. 106-127 - Alexey Gomolko:
Negation as Inconsistency in PROLOG via Intuitionistic Logic. 128-138 - Erich Grädel, Anders Malmström:
Approximable Minimization Problems and Optimal Solutions on Random Inputs. 139-149 - Martin Grohe:
Bounded-Arity Hierarchies in Fixed-Point Logics. 150-164 - Yoram Hirshfeld:
Petri Nets and the Equivalence Problem. 165-174 - Dexter Kozen:
Logical Aspects of Set Constraints. 175-188 - Johann A. Makowsky, Y. B. Pnueli:
Oracles and Quantifiers. 189-222 - Jerzy Marcinkowski:
A Horn Clause that Implies and Undecidable Set of Horn Clauses. 223-237 - Robin Milner:
Higher-Order Action Calculi. 238-260 - C.-H. Luke Ong, Eike Ritter:
A Generic Strong Normalization Argument: Application to the Calculus of Constructions. 261-279 - Christophe Raffalli:
Data Types, Infinity and Equality in System AF2. 280-294 - Eike Ritter:
Normalization for Typed Lambda Calculi with Explicit Substitution. 295-304 - Wilfried Sieg, Stanley S. Wainer:
Program Transformation and Proof Transformation. 305-317 - Iain A. Stewart:
Incorporating Generalized Quantifiers and the Least Fixed Point Operator. 318-333 - Yuri Gurevich, James K. Huggins:
ERRATA to "The Semantics of the C Programming Language". 334-336
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-04 20:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
