scientific article; zbMATH DE number 7204449

DOI10.4230/LIPIcs.FSCD.2017.30zbMath1434.03104MaRDI QIDQ5111328

Colin Riba, Pierre Pradic

Publication date: 26 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

realizabilityintuitionistic arithmeticmonadic second-order logic on infinite words

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synthesis of Reactive(1) designs
• Automata, logics, and infinite games. A guide to current research
• 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
• Coalgebraic Logic and Synthesis of Mealy Machines
• Testing and generating infinite sequences by a finite automaton

This page was built for publication: