Some observations on Uniform Reduction for properties invariant on the range of definable relations

From MaRDI portal

Revision as of 11:02, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4163514

Jump to:navigation, search

DOI10.4064/fm-99-3-199-203zbMath0383.03021OpenAlexW986266432MaRDI QIDQ4163514

Johann A. Makowsky

Publication date: 1978

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/215109

Mathematics Subject Classification ID

Abstract model theory (03C95)

Related Items (2)

Algorithmic uses of the Feferman-Vaught theorem ⋮ A logic-based approach to incremental reasoning on multi-agent systems

This page was built for publication: Some observations on Uniform Reduction for properties invariant on the range of definable relations

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4163514&oldid=17977692"