scientific article; zbMATH DE number 6116731
From MaRDI portal
Publication:4897432
zbMATH Open1254.03004MaRDI QIDQ4897432FDOQ4897432
Authors:
Publication date: 19 December 2012
Title of this publication is not available (Why is that?)
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)
- Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6--10, 2011
- Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes
- Proceedings of the 26th annual IEEE symposium on logic in computer science, LICS 2011, Fields Institute, Toronto, ON, Canada, June 21--24, 2011
- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
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)
