scientific article; zbMATH DE number 7204449
From MaRDI portal
Publication:5111328
Recommendations
- scientific article; zbMATH DE number 7147442
- Facets of Synthesis: Revisiting Church’s Problem
- Reflections on Church's thesis
- Church's thesis as formulated by Church -- an interpretation
- Church's thesis and Bishop's constructivism
- Church's thesis and its epistemological status
- scientific article; zbMATH DE number 1004209
- Curry's formalism as structuralism
- Formalizing Church's thesis
- The status of Church's thesis
Cites work
- scientific article; zbMATH DE number 3492660 (Why is no real title available?)
- scientific article; zbMATH DE number 2206109 (Why is no real title available?)
- scientific article; zbMATH DE number 3237829 (Why is no real title available?)
- scientific article; zbMATH DE number 3328724 (Why is no real title available?)
- scientific article; zbMATH DE number 3337664 (Why is no real title available?)
- A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Automata, logics, and infinite games. A guide to current research
- Coalgebraic Logic and Synthesis of Mealy Machines
- Solution of Church's problem: a tutorial
- Synthesis of Reactive(1) designs
- Testing and generating infinite sequences by a finite automaton
Cited in
(5)- scientific article; zbMATH DE number 4049000 (Why is no real title available?)
- Facets of Synthesis: Revisiting Church’s Problem
- scientific article; zbMATH DE number 7147442 (Why is no real title available?)
- A Dialectica-like interpretation of a linear MSO on infinite words
- LMSO: a Curry-Howard approach to Church's synthesis via linear logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111328)
