Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings
type: Item
instance of: scholarly article
title: Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings
zbMATH Open document ID: 0782.00052
DOI: 10.1007/3-540-54487-9
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 0925.00072]. Indexed articles: \textit{Arnborg, Stefan; Proskurowski, Andrzej; Seese, Detlef}, Monadic second order logic, tree automata and forbidden minors, 1-16 [Zbl 0942.68648] \textit{Blass, Andreas; Gurevich, Yuri}, On the reduction theory for average case complexity, 17-30 [Zbl 0789.68068] \textit{Burgard, Wolfram}, Efficiency considerations on goal-directed forward chaining for logic programs, 80-94 [Zbl 0789.68122] \textit{Cantone, D.; Cutello, V.; Schwartz, J. T.}, Decision problems for Tarski and Presburger arithmetics extended with sets, 95-109 [Zbl 0794.03015] \textit{Đurđanović, Igor}, A fast garbage collection algorithm for WAM-based PROLOG, 110-127 [Zbl 0811.68081] \textit{Fermüller, Christian}, A resolution variant deciding some classes of clause sets, 128-144 [Zbl 0791.68148] \textit{Gabbay, D. M.}, Algorithmic proof with diminishing resources. I, 156-173 [Zbl 0811.68111] \textit{Goerdt, Andreas}, Cutting plane versus Frege proof systems, 174-194 [Zbl 0796.03056] \textit{Grandjean, Etienne; Robson, J. M.}, RAM with compact memory: A realistic and robust model of computation, 195-233 [Zbl 0789.68052] \textit{Habart, Karol}, Randomness and Turing reducibility restraints, 234-247 [Zbl 0790.68051] \textit{Hähnle, Reiner}, Towards an efficient tableau proof procedure for multiple-valued logics, 248-260 [Zbl 0791.68149] \textit{Hertrampf, Ulrich; Wagner, Klaus}, Interactive proof systems: Provers, rounds, and error bounds, 261-273 [Zbl 0789.68058] \textit{Jaspars, Jan}, A generalization of stability and its application to circumscription of positive introspective knowledge, 289-299 [Zbl 0793.03020] \textit{Mundici, Daniele}, The complexity of adaptive error-correcting codes, 300-307 [Zbl 0799.94010] \textit{Pudlák, Pavel}, Ramsey's theorem in bounded arithmetic, 308-317 [Zbl 0795.03081] \textit{Ranaivoson, Solomampionona}, Nontrivial lower bounds for some NP-pr…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 108248
zbMATH Keywords: Heidelberg (Germany)
zbMATH Keywords: CSL '90
zbMATH Keywords: Computer science logic
zbMATH Keywords: Logic
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-54487-9
OpenAlex ID: W4236530768
Recommended article: CSL '89. 3rd workshop on computer science logic, Kaiserslautern, Germany, October 2--6, 1989. Proceedings
Recommended article: Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21--26, 2000. Proceedings
Recommended article: Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings
Recommended article: CSL '88. Proceedings. 2nd workshop on computer science logic, Duisburg, Germany, October 3-7, 1988
Recommended article: CSL '87. 1st workshop on computer science logic, Karlsruhe, FRG, October 12--16, 1987. Proceedings
Recommended article: Computer science logic. 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected papers
Recommended article: Computer science logic. 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers
Recommended article: Q4002277
Recommended article: Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers
description: scientific article; zbMATH DE number 108248