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

zbMATH Open0779.00012MaRDI QIDQ1188694FDOQ1188694

Author name not available (Why is that?)

Publication date: 23 January 1993

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

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Logic and Computation 👍 👎
• Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings 👍 👎
• Title not available (Why is that?) 👍 👎
• Algebraic and logic programming. 5th international conference, ALP '96, Aachen, Germany, September 25--27, 1996. Proceedings 👍 👎

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)