Andreas Potthoff

Publication Activity (10 Years)

Years Active: 1989-1995
Publications (10 Years): 0

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Andreas Potthoff
First-Order Logic on Finite Trees. TAPSOFT (1995)
Andreas Potthoff
Modulo-Counting Quantifiers Over Finite Trees. Theor. Comput. Sci. 126 (1) (1994)
Eija Jurvanen, Andreas Potthoff, Wolfgang Thomas
Tree Languages Recognizable by Regular Frontier Check. Developments in Language Theory (1993)
Andreas Potthoff, Wolfgang Thomas
Regular Tree Languages Without Unary Symbols are Star-Free. FCT (1993)
Andreas Potthoff
Modulo Counting Quantifiers Over Finite Trees. CAAP (1992)
V. Kell, Albert Maier, Andreas Potthoff, Wolfgang Thomas, U. Wermuth
AMORE: A System for Computing Automata, MOnoids, and Regular Expressions. STACS (1989)