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

MaRDI QIDQ1345481zbMATH OpenFDO

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)

• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• Logic, data, wisdom. To Andrzej Skowron on his 70th birthday
• Foundations of BQO Theory
• 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
• Computability of countable subshifts in one dimension

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)