scientific article; zbMATH DE number 7147442

MaRDI QIDQ5207050FDOQ5207050

Authors: Pierre Pradic, Colin Riba 

Publication date: 3 January 2020

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lectures on the Curry-Howard isomorphism
• Automata, logics, and infinite games. A guide to current research
• Title not available (Why is that?)
• Synthesis of Reactive(1) designs
• Testing and generating infinite sequences by a finite automaton
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
• Title not available (Why is that?)
• Facets of Synthesis: Revisiting Church’s Problem
• Solution of Church's problem: a tutorial
• Safraless Compositional Synthesis
• Antichains and compositional algorithms for LTL synthesis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Monoidal-closed categories of tree automata
• A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words
• Title not available (Why is that?)
• LMSO: a Curry-Howard approach to Church's synthesis via linear logic

Cited In (13)

• Monoidal-closed categories of tree automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solution of Church's problem: a tutorial
• The Church Synthesis Problem with Parameters
• \(q\)-analogues of Ehrhart polynomials
• Refined Ehrhart Series and Bigraded Rings
• Ehrhart theory on periodic graphs
• Facets of Synthesis: Revisiting Church’s Problem
• A Dialectica-like interpretation of a linear MSO on infinite words
• Title not available (Why is that?)
• LMSO: a Curry-Howard approach to Church's synthesis via linear logic
• Title not available (Why is that?)

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)