Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers
type: Item
instance of: scholarly article
title: Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers
zbMATH Open document ID: 0868.00033
DOI: 10.1007/3-540-63172-0
published in: Lecture Notes in Computer Science
publication date: 1997-08-06T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The preceding conference (9, 1995) has been reviewed (see Zbl 0851.00042). Indexed articles: \textit{Baaz, Matthias; Leitsch, Alexander}, Fast cut-elimination by projection, 18-33 [Zbl 0889.03048] \textit{Barthe, G.; Melliès, P.-A.}, On the subject reduction property for algebraic type systems, 34-57 [Zbl 0882.03010] \textit{Cattani, Gian Luca; Winskel, Glynn}, Presheaf models for concurrency, 58-75 [Zbl 0881.18013] \textit{Danos, Vincent; Pedicini, Marco; Regnier, Laurent}, Directed virtual reductions, 76-88 [Zbl 0889.68022] \textit{Dziembowski, Stefan}, Bounded-variable fixpoint queries are PSPACE-complete, 89-105 [Zbl 0889.68051] \textit{van Eekelen, Marko; Smetsers, Sjaak; Plasmeijer, Rinus}, Graph rewriting semantics for functional programming languages, 106-128 [Zbl 0884.68079] \textit{Fiore, Marcelo P.; Plotkin, Gordon D.}, An extension of models of axiomatic domain theory to models of synthetic domain theory, 129-149 [Zbl 0884.18009] \textit{Geser, Alfons; Middeldorp, Aart; Ohlebusch, Enno; Zantema, Hans}, Relative undecidability in term rewriting, 150-166 [Zbl 0884.68067] \textit{Geuvers, Herman}, Extending models of second order predicate logic to models of second order dependent type theory, 167-181 [Zbl 0881.03005] \textit{Ghani, Neil}, Eta-expansions in \(F^ \omega\), 182-197 [Zbl 0881.03010] \textit{Goré, Rajeev}, Cut-free display calculi for relation algebras, 198-210 [Zbl 0881.03040] \textit{Imhof, Henrik}, Computational aspects of arity hierarchies, 211-225 [Zbl 0894.03019] \textit{Ingólfsdóttir, Anna}, Weak semantics based on lighted button pressing experiments. An alternative characterization of the readiness semantics, 226-243 [Zbl 0889.68100] \textit{Kozen, Dexter; Smith, Frederick}, Kleene algebra with tests: Completeness and decidability, 244-259 [Zbl 0882.03064] \textit{Kreidler, Martin; Seese, Detlef}, Monadic NP and built-in trees, 260-274 [Zbl 0888.03026] \textit{Luo, Zha…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1044855
zbMATH Keywords: Utrecht (Netherlands)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: Computer science logic
zbMATH Keywords: CSL '96
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-63172-0
OpenAlex ID: W590934608
description: scientific article; zbMATH DE number 1044855