Logical methods. In honor of Anil Nerode's 60th birthday

zbMATH Open0810.00003MaRDI QIDQ1345481FDOQ1345481

Authors:

Publication date: 7 March 1995

Published in: Progress in Computer Science and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Logical methods

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (7)

• Computability of countable subshifts in one dimension
• Foundations of BQO Theory
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• The forth part of the back and forth map in countable homogeneous structures
• A General Framework for Priority Arguments
• Ranked structures and arithmetic transfinite recursion
• Logic, data, wisdom. To Andrzej Skowron on his 70th birthday

This page was built for publication: Logical methods. In honor of Anil Nerode's 60th birthday

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