scientific article; zbMATH DE number 6116731

MaRDI QIDQ4897432zbMATH OpenFDO

Authors

Publication date 19 December 2012

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) Logic in computer science (03B70)

Cited in

(4)

• Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes
• Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
• Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6--10, 2011
• Proceedings of the 26th annual IEEE symposium on logic in computer science, LICS 2011, Fields Institute, Toronto, ON, Canada, June 21--24, 2011

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