Church Synthesis Problem with Parameters

DOI10.1007/11874683_36zbMath1167.03026arXiv0708.3477OpenAlexW2147159309MaRDI QIDQ3613362

Alexander Rabinovich

Publication date: 12 March 2009

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

Full work available at URL: https://arxiv.org/abs/0708.3477

Mathematics Subject Classification ID

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

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