| Publication | Date of Publication | Type |
|---|
Cascade products and Wheeler automata
Theoretical Computer Science | 2024-10-01 | Paper |
Ordering regular languages and automata: complexity
Theoretical Computer Science | 2023-02-24 | Paper |
Wheeler languages
Information and Computation | 2021-11-25 | Paper |
On modal \(\mu\)-calculus over finite graphs with bounded strongly connected components
| 2021-02-16 | Paper |
Regular Languages meet Prefix Sorting
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms | 2021-02-02 | Paper |
\(\mu\)-levels of interpolation
Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
Uniform interpolation for propositional and modal team logics
Journal Of Logic And Computation | 2020-02-03 | Paper |
The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs
Theoretical Computer Science | 2018-06-18 | Paper |
A set-theoretic translation method for (poly)modal logics
STACS 95 | 2017-12-04 | Paper |
Mapping Sets and Hypersets into Numbers
Fundamenta Informaticae | 2016-08-15 | Paper |
The logic of the reverse mathematics zoo
| 2015-12-25 | Paper |
On the modal \(\mu \)-calculus over finite symmetric graphs
Mathematica Slovaca | 2015-11-26 | Paper |
Bisimulation quantifiers and uniform interpolation for guarded first order logic
Theoretical Computer Science | 2014-12-12 | Paper |
On modal \(\mu \)-calculus in \(S5\) and applications
Fundamenta Informaticae | 2013-07-30 | Paper |
On modal -calculus over reflexive symmetric graphs
Journal Of Logic And Computation | 2013-06-27 | Paper |
On modal \(\mu \)-calculus over finite graphs with small components or small tree width
International Journal of Foundations of Computer Science | 2012-08-30 | Paper |
Deciding the existence of uniform interpolants over transitive models
Archive for Mathematical Logic | 2011-03-02 | Paper |
On the \(\mu \)-calculus over transitive and finite transitive frames
Theoretical Computer Science | 2010-11-19 | Paper |
\(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Interpolation in non-classical logics
Synthese | 2009-06-16 | Paper |
Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
Logic, Language, and Computation | 2009-03-11 | Paper |
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
Journal Of Logic And Computation | 2008-08-15 | Paper |
On modal \(\mu\)-calculus with explicit interpolants
Journal of Applied Logic | 2006-10-10 | Paper |
An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
Theoretical Computer Science | 2005-06-30 | Paper |
Characterizing Interpolation Pairs in Infinitary Graded Logics
Journal Of Logic And Computation | 2004-05-18 | Paper |
Finality regained: A coalgebraic study of Scott-sets and multisets
Archive for Mathematical Logic | 2003-09-16 | Paper |
Modal deduction in second-order logic and set theory. II
Studia Logica | 2000-11-21 | Paper |
Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
Journal of Symbolic Logic | 2000-06-14 | Paper |
scientific article; zbMATH DE number 1215463 (Why is no real title available?)
| 1999-02-22 | Paper |
Modal deduction in second-order logic and set theory - I
Journal Of Logic And Computation | 1997-06-10 | Paper |
Translating the hypergame paradox: Remarks on the set of founded elements of a relation
Journal of Philosophical Logic | 1996-11-12 | Paper |
A set-theoretic translation method for polymodal logics
Journal of Automated Reasoning | 1995-12-20 | Paper |
Topological structure of diagonalizable algebras and corresponding logical properties of theories
Notre Dame Journal of Formal Logic | 1995-11-26 | Paper |
Complete, Recursively Enumerable Relations in Arithmetic
Mathematical Logic Quarterly | 1995-02-20 | Paper |
CAYLEY GRAPHS OF VIRTUALLY FREE GROUPS
International Journal of Algebra and Computation | 1993-11-01 | Paper |
scientific article; zbMATH DE number 169605 (Why is no real title available?)
| 1993-05-16 | Paper |
