scientific article; zbMATH DE number 6456198

zbMATH Open1319.03003MaRDI QIDQ5261742FDOQ5261742

Authors:

Publication date: 7 July 2015

Full work available at URL: http://dl.acm.org/citation.cfm?id=2591370&CFID=690970656&CFTOKEN=62760836

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

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 (3)

• Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016
• 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 Q5261742)