scientific article; zbMATH DE number 7437715

zbMath1476.68179arXiv1509.03020MaRDI QIDQ5014448

Etienne Lozes

Publication date: 2 December 2021

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

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Temporal logic with recursion

Uses Software

• C-SHORe

Cites Work

• Unnamed Item
• Krivine machines and higher-order schemes
• The IO- and OI-hierarchies
• A ZDD-Based Efficient Higher-Order Model Checking Algorithm
• Alternating Parity Krivine Automata
• Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes
• Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection
• Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic
• C-SHORe
• Inflationary fixed points in modal logic
• The Complexity of Model Checking Higher-Order Fixpoint Logic
• CONCUR 2004 - Concurrency Theory
• YALE

This page was built for publication: