Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings
type: Item
instance of: scholarly article
title: Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings
zbMATH Open document ID: 0772.68004
published in: Lecture Notes in Computer Science
publication date: 1993-01-23T00:00:00Z
review text: The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 0782.00052]. Indexed articles: \textit{Bargury, Y.; Makowsky, J.}, The expressive power of transitive closure and 2-way multihead automata, 1-14 [Zbl 0783.03018] \textit{Beierle, Ch.; Börger, E.}, Correctness proof for the WAM with types, 15-34 [Zbl 0819.68028] \textit{Best, E.; Esparza, J.}, Model checking of persistent Petri nets, 35-52 [Zbl 0819.68083] \textit{Chirimar, J.; Lipton, J.}, Provability in TBLL: A decision procedure, 53-67 [Zbl 0783.03003] \textit{Dahlhaus, E.}, How to implement first order formulas in local memory machine models, 68-78 [Zbl 0819.68051] \textit{Feferman, S.}, A new approach to abstract data types. II: Computation on ADTs as ordinary computation, 79-95 [Zbl 0819.68078] \textit{Fernando, T.}, A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation, 96-110 [Zbl 0783.03031] \textit{Flum, J.}, On bounded theories, 111-118 [Zbl 0783.03020] \textit{Goerdt, A.}, The cutting plane proof system with bounded degree of falsity, 119-133 [Zbl 0819.68104] \textit{González-Moreno, J. C.; Hortalá-González, M. T.; Rodríguez-Artalejo, Mario}, Denotational versus declarative semantics for functional programming, 134-148 [Zbl 0819.68030] \textit{Grädel, E.}, On transitive closure logic, 149-163 [Zbl 0783.03012] \textit{Heusch, P.; Speckenmeyer, E.}, Some aspects of the probabilistic behavior of variants of resolution, 164-172 [Zbl 0819.68029] \textit{Hirshfeld, J.}, Safe queries in relational databases with functions, 173-183 [Zbl 0819.68047] \textit{Hooker, J. N.}, Logical inference and polyhedral projection, 184-200 [Zbl 0819.68105] \textit{Hösli, B.}, Stable logic, 201-212 [Zbl 0783.03009] \textit{Krishna Rao, M. R. K.; Kapur, D.; Shyamasundar, R. K.}, A transformational method for proving termination of logic programs, 213-226 [Zbl 0819.68032] \textit{Lehmann, D.}, Plausibility logic, 227-241 [Zbl 0819.68125] \textit{L…
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 108566
zbMATH Keywords: Computer science logic
zbMATH Keywords: Logic
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: CSL '91
zbMATH Keywords: Berne (Switzerland)
MaRDI profile type: Publication
Recommended article: Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11--15, 2007. Proceedings.
Recommended article: Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings
Recommended article: Computer science logic. 7th workshop, CSL '93, Swansea, GB, September 13--17, 1993. Selected papers
Recommended article: Q4002277
Recommended article: Computer science logic. 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10--13, 2001. Proceedings
Recommended article: Computer science logic. 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22--25, 2005. Proceedings.
Recommended article: CSL '87. 1st workshop on computer science logic, Karlsruhe, FRG, October 12--16, 1987. Proceedings
Recommended article: CSL '89. 3rd workshop on computer science logic, Kaiserslautern, Germany, October 2--6, 1989. Proceedings
description: scientific article; zbMATH DE number 108566