Publications of the Research Institute for Mathematical Sciences
Languages, automata, and logic
Handbook of formal languages, vol. 3
Varieties Of Formal Languages
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Complementation of Büchi Automata Revised
Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa
How much memory is needed to win infinite games?
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Automata logics, and infinite games: a guide to current research
Automata logics, and infinite games: a guide to current research
Fine hierarchy of regular aperiodic ω-languages
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Church synthesis problem with parameters
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Fine hierarchies and m-reducibilities in theoretical computer science
Theoretical Computer Science
Facets of Synthesis: Revisiting Church's Problem
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Languages vs. ω-languages in regular infinite games
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Hi-index | 0.00 |
Church's Problem (1962) asks for the construction of a procedure which, given a logical specification ϕ on sequence pairs, realizes for any input sequence X an output sequence Y such that (X,Y) satisfies ϕ. Büchi and Landweber (1969) gave a solution for MSO specifications in terms of finite-state automata. We address the problem in a more general logical setting where not only the specification but also the solution is presented in a logical system. Extending the result of Büchi and Landweber, we present several logics L such that Church's Problem with respect to L has also a solution in L, and we discuss some perspectives of this approach.