Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997
type: Item
instance of: scholarly article
title: Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997
zbMATH Open document ID: 0930.00073
DOI: 10.1016/S0304-3975(98)00303-X
published in: Theoretical Computer Science
publication date: 2000-01-24T00:00:00Z
review text: The articles of this volume will be reviewed individually. The Proceedings have been published in Lecture Notes in Computer Science, Vol. 1234 (Berlin: Springer 1997; Zbl 0865.00035). The 3rd symposium 1994 has been reviewed (see Zbl 0865.00034).
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1392041
zbMATH Keywords: Yaroslavl (Russia)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: Computer science
zbMATH Keywords: Logical foundations
MaRDI profile type: Publication
full work available at URL: s0304-3975(98)00303-x
OpenAlex ID: W4211161022
description: scientific article; zbMATH DE number 1392041