Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings

zbMATH Open0779.00012MaRDI QIDQ1188694FDOQ1188694

Authors:

Publication date: 23 January 1993

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

Recommendations

• scientific article; zbMATH DE number 3852967
• scientific article; zbMATH DE number 51865
• scientific article
• scientific article; zbMATH DE number 49223
• scientific article; zbMATH DE number 51905
• Logic and Computation
• Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
• scientific article; zbMATH DE number 49464
• Algebraic and logic programming. 5th international conference, ALP '96, Aachen, Germany, September 25--27, 1996. Proceedings

zbMATH Keywords

ConferenceProceedingsAmes (IA)Computer Science

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)

Cited In (2)

• Loop conditions for strongly connected digraphs
• A mathematical life

This page was built for publication: Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings

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