Computer science logic. 7th workshop, CSL '93, Swansea, GB, September 13--17, 1993. Selected papers
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 System \(\text{AF}_2\), 280-294 [Zbl 0953.03522] \textit{Ritter, E.}, Normalisation for typed lambda calculi with explicit substitution, 295-304 [Zbl 0953.03514] \textit{Sieg, Wilfried; Wainer, S. S.}, Program transformation and proof transformation, 305-317 [Zbl 0953.68519] \textit{Stewart, Iain A.}, Incorporating generalised quantifiers and the least fixed point operator, 318-333 [Zbl 0953.03048] \textit{Gurevich, Y.; Huggins, J. K.}, Errata to: ``The semantics of the C programming language'', 334-336 [Zbl 0953.68515]
scientific article; zbMATH DE number 623653