Q4002277
type: Item
instance of: scholarly article
zbMATH Open document ID: 0741.00073
publication date: 1992-09-18T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 51905
zbMATH Keywords: Berkeley, CA (USA)
zbMATH Keywords: Logic
zbMATH Keywords: Computer science
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
MaRDI profile type: Publication
Recommended article: Q3197780
Recommended article: Q4004411
Recommended article: Logic and Computation
Recommended article: Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings
Recommended article: Logic in computer science. Selected papers from the 1990 IEEE symposium
Recommended article: Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings
Recommended article: Q3997483
Recommended article: Q4516319
Recommended article: Computer science logic. 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected papers
description: scientific article