The Church Synthesis Problem with Parameters

From MaRDI portal

Publication:5453502

Jump to:navigation, search

DOI10.2168/LMCS-3(4:9)2007zbMath1131.03016MaRDI QIDQ5453502

Alexander Rabinovich

Publication date: 1 April 2008

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

decidability finite state automaton monadic theory monadic logic of order Büchi-Landweber theorem ultimately periodic parameters

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Reactive synthesis from interval temporal logic specifications ⋮ Decidable Extensions of Church’s Problem

This page was built for publication: The Church Synthesis Problem with Parameters

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