Computer science logic. 7th workshop, CSL '93, Swansea, GB, September 13--17, 1993. Selected papers
type: Item
instance of: scholarly article
title: Computer science logic. 7th workshop, CSL '93, Swansea, GB, September 13--17, 1993. Selected papers
zbMATH Open document ID: 0852.00043
published in: Lecture Notes in Computer Science
publication date: 1994-08-22T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. For the preceeding workshop see [Zbl 0852.00039]. Indexed articles: \textit{Aiken, A.; Kozen, D.; Vardi, M.; Wimmers, F.}, The complexity of set constraints, 1-17 [Zbl 0953.68557] \textit{Ambler, S.; Kwiatkowska, M.; Measor, N.}, On duality for the modal \(\mu\)-calculus, 18-32 [Zbl 0953.03019] \textit{Baaz, M.; Zach, R.}, Short proofs of tautologies using the schema of equivalence, 33-35 [Zbl 0953.03513] \textit{Bergstra, J. A.; Bethke, I.; Ponse, A.}, Process algebra with combinators, 36-65 [Zbl 0953.68572] \textit{Blass, A.}, Is game semantics necessary?, 66-77 [Zbl 0953.03066] \textit{Compton, K. J.; Uceda-Sosa, R.}, The model theory of concurrency, 78-90 [Zbl 0953.68574] \textit{Coquand, Catarina}, From semantics to rules: a machine assisted analysis, 91-105 [Zbl 0953.68569] \textit{Goerdt, A.; Kamps, U.}, On the reasons for average superlinear speedup in parallel backtrack search, 106-127 [Zbl 0953.68597] \textit{Gomolko, A.}, Negation as inconsistency in PROLOG via intuitionistic logic, 128-138 [Zbl 0953.03525] \textit{Grädel, E.; Malmström, A.}, Approximable minimization problems and optimal solutions on random inputs, 139-149 [Zbl 0953.68550] \textit{Grohe, M.}, Bounded-arity hierarchies in fixed-point logics, 150-164 [Zbl 0953.03047] \textit{Hirshfeld, Y.}, Petri nets and the equivalence problem, 165-174 [Zbl 0953.68571] \textit{Kozen, D.}, Logical aspects of set constraints, 175-188 [Zbl 0953.03524] \textit{Makowsky, J. A.; Pnueli, Y. B.}, Oracles and quantifiers, 189-222 [Zbl 0953.03049] \textit{Marcinkowski, J.}, A Horn clause that implies an undecidable set of Horn clauses, 223-237 [Zbl 0953.03527] \textit{Milner, Robin}, Higher-order action calculi, 238-260 [Zbl 0953.03523] \textit{Ong, C.-H. L.; Ritter, E.}, A generic strong normalization argument: Application to the calculus of constructions, 261-279 [Zbl 0953.03526] \textit{Raffalli, C.}, Data types, infinity and equality in Syste…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 623653
zbMATH Keywords: Swansea (GB)
zbMATH Keywords: Workshop
zbMATH Keywords: Computer science logic
zbMATH Keywords: CSL '93
MaRDI profile type: Publication
DOI: 10.1007/BFB0049319
description: scientific article; zbMATH DE number 623653