Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997 (Q1963142)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997 |
scientific article; zbMATH DE number 1392041
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997 |
scientific article; zbMATH DE number 1392041 |
Statements
Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997 (English)
0 references
24 January 2000
0 references
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).
0 references
Yaroslavl (Russia)
0 references
Proceedings
0 references
Conference
0 references
Computer science
0 references
Logical foundations
0 references
