scientific article; zbMATH DE number 51905

MaRDI QIDQ4002277zbMATH OpenFDO

Authors

Publication date 18 September 1992

zbMATH Keywords

Berkeley, CA (USA)Computer scienceLogicProceedingsWorkshop

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4172924
• scientific article; zbMATH DE number 54230
• Logic and Computation
• Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings
• Logic in computer science. Selected papers from the 1990 IEEE symposium
• Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings
• scientific article; zbMATH DE number 48608
• scientific article; zbMATH DE number 1535994
• Computer science logic. 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected papers

Cited in

(11)

• Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings
• Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings
• Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings
• scientific article; zbMATH DE number 4172924 (Why is no real title available?)
• scientific article; zbMATH DE number 49223 (Why is no real title available?)
• scientific article; zbMATH DE number 409417 (Why is no real title available?)
• Advances in Contemporary Logic and Computer Science
• scientific article; zbMATH DE number 1049165 (Why is no real title available?)
• scientific article; zbMATH DE number 1535994 (Why is no real title available?)
• Logic and Computation
• Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4002277)