Computer science logic. 6th workshop, CSL '92, San Miniato, Italy, September 28 -- October 2, 1992. Selected papers
type: Item
instance of: scholarly article
title: Computer science logic. 6th workshop, CSL '92, San Miniato, Italy, September 28 -- October 2, 1992. Selected papers
zbMATH Open document ID: 0852.00039
DOI: 10.1007/3-540-56992-8
published in: Lecture Notes in Computer Science
publication date: 1993-12-07T00:00:00Z
review text: The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 0772.68004]. Indexed articles: \textit{Aanderaa, Stål O.}, A universal Turing machine, 1-4 [Zbl 0796.68088] \textit{Aanderaa, Stål O.; Jervell, Herman Ruge}, Recursive inseparability in linear logic, 5-13 [Zbl 0788.68042] \textit{Artëmov, Sergej; Straßen, Tyko}, The basic logic of proofs, 14-28 [Zbl 0802.03012] \textit{Baaz, Matthias; Zach, Richard}, Algorithmic structuring of cut-free proofs, 29-42 [Zbl 0794.03076] \textit{Behrendt, Thomas; Compton, Kevin; Grädel, Erich}, Optimization problems: Expressibility, approximation properties and expected asymptotic growth of optimal solutions, 43-60 [Zbl 0844.68057] \textit{Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin}, Linear \(\lambda\)-calculus and categorical models revisited, 61-84 [Zbl 0840.03003] \textit{Berarducci, Alessandro; Böhm, Corrado}, A self-interpreter of lambda calculus having a normal form, 85-99 [Zbl 0796.03023] \textit{Bosse, Uwe}, An ``Ehrenfeucht-Fraïssé game'' for fixpoint logic and stratified fixpoint logic, 100-114 [Zbl 0808.03024] \textit{Creignou, Nadia}, The class of problems that are linearly equivalent to satisfiability or a uniform method for proving NP-completeness, 115-133 [Zbl 0793.68076] \textit{Fermüller, Christian G.; Leitsch, Alexander}, Model building by resolution, 134-148 [Zbl 0788.68128] \textit{Fernando, Tim}, Comparative transition system semantics, 149-166 [Zbl 0788.68089] \textit{Gavilanes-Franco, A.; Lucio-Carrasco, F.; Rodríguez-Artalejo, Mario}, Reasoning with higher order partial functions, 167-181 [Zbl 0840.03023] \textit{Glavan, Paola; Rosenzweig, Dean}, Communicating evolving algebras, 182-215 [Zbl 0788.68047] \textit{González-Moreno, Juan Carlos; Hortalá-González, María Teresa; Rodríguez-Artalejo, Mario}, On the completeness of narrowing as the operational semantics of functional logic programming, 216-230 [Zbl 0797.68103] \textit{Grädel, Erich; Otto, Mart…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 474208
zbMATH Keywords: San Miniato (Italy)
zbMATH Keywords: Workshop
zbMATH Keywords: CSL '92
zbMATH Keywords: Computer science logic
zbMATH Keywords: Proceedings
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-56992-8
OpenAlex ID: W4256058384
description: scientific article; zbMATH DE number 474208