Alternating Parity Krivine Automata

DOI10.1007/978-3-662-44522-8_10zbMath1425.68183OpenAlexW2183833115MaRDI QIDQ2922007

Florian Bruse

Publication date: 14 October 2014

Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44522-8_10

zbMATH Keywords

\(\lambda \)-calculusKrivine machinefixpoint logichigher-order modal fixpoint logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Alternating Parity Krivine Automata