Christoph Röthlisberger

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Newly Generated

Clifford Algebra

Top Venues

Log. Methods Comput. Sci.

Publications

Christoph Röthlisberger
TAFA - A Tool for Admissibility in Finite Algebras. TABLEAUX (2013)
George Metcalfe, Christoph Röthlisberger
Admissibility in Finitely Generated Quasivarieties Log. Methods Comput. Sci. 9 (2) (2013)
George Metcalfe, Christoph Röthlisberger
Unifiability and Admissibility in Finite Algebras. CiE (2012)
George Metcalfe, Christoph Röthlisberger
Admissibility in De Morgan algebras. Soft Comput. 16 (11) (2012)