Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings

DOI10.1007/3-540-54487-9zbMath0782.00052OpenAlexW4236530768MaRDI QIDQ1202146

No author found.

Publication date: 23 January 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54487-9

zbMATH Keywords

ProceedingsWorkshopLogicComputer science logicHeidelberg (Germany)CSL '90

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Generic Literals

This page was built for publication: Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings