scientific article; zbMATH DE number 1333825

zbMATH Open0925.03012MaRDI QIDQ4260449

Author name not available (Why is that?)

Publication date: 9 September 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

ProceedingsSymposiumLogic in computer scienceIndianapolis, IN (USA)

Mathematics Subject Classification ID

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

Related Items (2)

Title not available (Why is that?) ⋮ Induction, coinduction, and adjoints

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 Q4260449)