LICS 2001 special issue

DOI10.1145/772062.772063zbMATH Open1365.00062OpenAlexW2068417643MaRDI QIDQ5267431FDOQ5267431

Authors:

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/772062.772063

Recommendations

• LICS 2003 special issue
• Editorial
• CSL 2008 special issue
• Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020
• Guest editorial: Special issue on implicit computational complexity

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

• Editorial
• Editorial
• CSL 2008 special issue
• Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020
• Automata Presenting Structures: A Survey of the Finite String Case
• LICS 2003 special issue
• Some natural decision problems in automatic graphs
• LISA technology concept, status, prospects

This page was built for publication: LICS 2001 special issue

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5267431)