Logical foundations of computer science. Tver '92, 2nd international symposium, Tver, Russia, July 20-24, 1992. Proceedings
type: Item
instance of: scholarly article
title: Logical foundations of computer science. Tver '92, 2nd international symposium, Tver, Russia, July 20-24, 1992. Proceedings
zbMATH Open document ID: 0954.00500
published in: Lecture Notes in Computer Science
publication date: 2001-01-21T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The 3rd symposium 1994 has been reviewed (see Zbl 0865.00034). Indexed articles: \textit{Archangelsky, D. A.; Taitslin, M. A.}, Modal linear logic, 1-8 [Zbl 0978.03516] \textit{Baliga, G.; Case, J.; Jain, S.; Suraj, M.}, Machine learning of higher order programs, 9-20 [Zbl 0978.03530] \textit{Beigel, R.; Kummer, M.; Stephan, F.}, Quantifying the amount of verboseness (extended abstract), 21-32 [Zbl 0978.03527] \textit{Benton, P. N.}, Strictness logic and polymorphic invariance, 33-44 [Zbl 0978.03508] \textit{Brown, A. L. jun.; Mantha, S.; Wakayama, T.}, Preference logics and nonmonotonicity in logic programming, 45-56 [Zbl 0977.68511] \textit{Calò, A.; Makowsky, J. A.}, The Ehrenfeucht-Fraïssé games for transitive closure, 57-68 [Zbl 0978.03525] \textit{Čerāns, Kārlis}, Feasibility of finite and infinite paths in data dependent programs, 69-80 [Zbl 0977.68527] \textit{Chen, Liang}, An interleaving model for real-time systems, 81-92 [Zbl 0977.68553] \textit{Christensen, Søren}, A logical characterization of asynchronously communicating agents, 93-104 [Zbl 0977.68554] \textit{de Groote, P.}, Denotations for classical proofs -- preliminary results, 105-116 [Zbl 0978.03509] \textit{Dershowitz, N.; Reingold, E. M.}, Ordinal arithmetic with list structures, 117-126 [Zbl 0977.68530] \textit{Edalat, A.}, Continuous I-categories (extended abstract), 127-138 [Zbl 0977.18500] \textit{Fitting, M.}, Many-valued non-monotonic modal logics, 139-150 [Zbl 0978.03518] \textit{Galmiche, D.; Perrier, G.}, Automated deduction in additive and multiplicative linear logic, 151-162 [Zbl 0978.03507] \textit{Gamatie, B.}, Intensionally stable functions, 163-173 [Zbl 0978.03510] \textit{Gupta, Arvind}, A constructive proof that trees are well-quasi-ordered under minors (detailed abstract), 174-185 [Zbl 0977.05500] \textit{Hemachandra, L. A.; Jain, S.; Vereshchagin, N. K.}, Banishing robust Turing completeness, 186-197 [Zbl 09…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 1554926
zbMATH Keywords: Tver (Russia)
zbMATH Keywords: Proceedings
zbMATH Keywords: Symposium
zbMATH Keywords: Computer science
zbMATH Keywords: Logical foundations
MaRDI profile type: Publication
DOI: 10.1007/BFB0023857
description: scientific article; zbMATH DE number 1554926