scientific article; zbMATH DE number 7830385

DOI10.4230/lipics.csl.2022.29MaRDI QIDQ6124964

Johannes Marti, Clemens Kupke, Yde Venema

Publication date: 10 April 2024

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

zbMATH Keywords

model checkingalternating tree automatamodal \(\mu\)-calculushierachical equation systems

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication: