Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Mona: Monadic second-order logic in practice

1995348 citationsBook Chapter

Authors

Jesper G. Henriksen · Aarhus University

J. Fris Jensen · Aarhus University

Michael Søgaard Jørgensen · Aarhus University

Nils Klarlund · Aarhus University

Robert Paige · Aarhus University

Theis Rauhe · Aarhus University

Anders B. Sandholm ·

Topics & Keywords

Formal Methods in Verification Logic, programming, and type systems semigroups and automata theory

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/3-540-60630-0_5

Field-Weighted Citation Impact: 23.35

Mona: Monadic second-order logic in practice | Researchclopedia

Aarhus University