scientific article; zbMATH DE number 7147442

MaRDI QIDQ5207050zbMATH OpenFDO

Authors Pierre Pradic, Colin Riba

Publication date 3 January 2020

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

Mathematics Subject Classification ID

Higher-order logic (03B16) Automata and formal grammars in connection with logical questions (03D05) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Formal languages and automata (68Q45)

Recommendations

• Multidimensional Ehrhart reciprocity
• A finite calculus approach to Ehrhart polynomials
• q-analogues of Ehrhart polynomials
• scientific article; zbMATH DE number 2223033
• An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics

Cites work

• A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words
• Antichains and compositional algorithms for LTL synthesis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Automata, logics, and infinite games. A guide to current research
• Facets of Synthesis: Revisiting Church’s Problem
• scientific article; zbMATH DE number 5872401 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3492660 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 7204449 (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?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Lectures on the Curry-Howard isomorphism
• LMSO: a Curry-Howard approach to Church's synthesis via linear logic
• Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
• Monoidal-closed categories of tree automata
• Safraless Compositional Synthesis
• Solution of Church's problem: a tutorial
• Synthesis of Reactive(1) designs
• Testing and generating infinite sequences by a finite automaton

Cited in

(13)

• A Dialectica-like interpretation of a linear MSO on infinite words
• q-analogues of Ehrhart polynomials
• Facets of Synthesis: Revisiting Church’s Problem
• scientific article; zbMATH DE number 4049000 (Why is no real title available?)
• Solution of Church's problem: a tutorial
• scientific article; zbMATH DE number 7204449 (Why is no real title available?)
• A functional (monadic) second-order theory of infinite trees
• LMSO: a Curry-Howard approach to Church's synthesis via linear logic
• Monoidal-closed categories of tree automata
• The Church Synthesis Problem with Parameters
• scientific article; zbMATH DE number 7594130 (Why is no real title available?)
• Refined Ehrhart Series and Bigraded Rings
• Ehrhart theory on periodic graphs

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 Q5207050)