Giovanna D'Agostino

Davide Martincigh

Theor. Comput. Sci., March, 2023

A Linear-size Cascade Decomposition for Wheeler Automata.

[BibT_eX]

[DOI]

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

2021

Wheeler languages.

[BibT_eX]

[DOI]

Inf. Comput., 2021

On (co-lex) Ordering Automata.

[BibT_eX]

[DOI]

CoRR, 2021

Which Regular Languages can be Efficiently Indexed?

[BibT_eX]

[DOI]

CoRR, 2021

Ordering Regular Languages: a Danger Zone.

[BibT_eX]

[DOI]

Davide Martincigh

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020

Regular Languages meet Prefix Sorting.

[BibT_eX]

[DOI]

Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, 2020

2019

Uniform interpolation for propositional and modal team logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2019

2018

The <i>μ</i>-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

The logic of the reverse mathematics zoo.

[BibT_eX]

[DOI]

Alberto Marcone

Math. Struct. Comput. Sci., 2018

2015

Bisimulation quantifiers and uniform interpolation for guarded first order logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Mapping Sets and Hypersets into Numbers.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

2013

Games, Automata, Logic, and Formal Verification (GandALF 2011).

[BibT_eX]

[DOI]

Salvatore La Torre

Theor. Comput. Sci., 2013

On modal μ-calculus over reflexive symmetric graphs.

[BibT_eX]

[DOI]

J. Log. Comput., 2013

On Modal μ-Calculus in S5 and Applications.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

2012

On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2012

2011

Deciding the existence of uniform interpolants over transitive models.

[BibT_eX]

[DOI]

Arch. Math. Log., 2011

On modal mu-calculus in S5 and applications.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

On the µ-calculus over transitive and finite transitive frames.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Symposium on Games, 2010

2008

Interpolation in non-classical logics.

[BibT_eX]

[DOI]

Synth., 2008

A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames.

[BibT_eX]

[DOI]

J. Log. Comput., 2008

2006

On modal mu-calculus with explicit interpolants.

[BibT_eX]

[DOI]

J. Appl. Log., 2006

µ-programs, uniform interpolation and bisimulation quantifiers for modal logics.

[BibT_eX]

[DOI]

Tim French

J. Appl. Non Class. Logics, 2006

2005

An axiomatization of bisimulation quantifiers via the mu-calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2005

2003

Characterizing Interpolation Pairs in Infinitary Graded Logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2003

2002

Finality regained: A coalgebraic study of Scott-sets and multisets.

[BibT_eX]

[DOI]

Albert Visser

Arch. Math. Log., 2002

2000

Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski.

[BibT_eX]

[DOI]

Marco Hollenberg

J. Symb. Log., 2000

1998

Modal Deduction in Second-Order Logic and Set Theory - II.

[BibT_eX]

[DOI]

Stud Logica, 1998

1997

Modal Deduction in Second-Order Logic and Set Theory - I.

[BibT_eX]

[DOI]

J. Log. Comput., 1997

1996

Translating the hypergame paradox: Remarks on the set of founded elements of a relation.

[BibT_eX]

[DOI]

Claudio Bernardi

J. Philos. Log., 1996

Uniform Interpolation, Automata and the Modal μ-Calculus.

[BibT_eX]

Marco Hollenberg

Proceedings of the Advances in Modal Logic 1, 1996

1995

Complete, Recursively Enumerable Relations in Arithmetic.

[BibT_eX]

[DOI]

Mario Magnago

Math. Log. Q., 1995

A Set-Theoretic Translation Method for Polymodal Logics.

[BibT_eX]

[DOI]

Angelo Montanari

J. Autom. Reason., 1995

A Set-Theoretic Translation Method for (Poly)modal Logics.

[BibT_eX]

[DOI]

Angelo Montanari

Proceedings of the STACS 95, 1995

1994

Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1994

1993

Cayley Graphs of Virtually Free Groups.

[BibT_eX]

[DOI]