Christoph Röthlisberger

According to our database¹, Christoph Röthlisberger authored at least 4 papers between 2012 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Admissibility in Finitely Generated Quasivarieties

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

TAFA - A Tool for Admissibility in Finite Algebras.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

2012

Admissibility in De Morgan algebras.

[BibT_eX]

[DOI]

Soft Comput., 2012

Unifiability and Admissibility in Finite Algebras.

[BibT_eX]

[DOI]

Proceedings of the How the World Computes, 2012