- CSB - MetaPress - Google - Bing - Yahoo
 | 1995 | |
|---|---|---|
| 6 |      | Andreas Potthoff: First-Order Logic on Finite Trees. TAPSOFT 1995: 125-139 |
| 1994 | ||
| 5 |  | Andreas Potthoff: Modulo-Counting Quantifiers Over Finite Trees. Theor. Comput. Sci. 126(1): 97-112 (1994) |
| 1993 | ||
| 4 | | Eija Jurvanen, Andreas Potthoff, Wolfgang Thomas: Tree Languages Recognizable by Regular Frontier Check. Developments in Language Theory 1993: 3-17 |
| 3 | | Andreas Potthoff, Wolfgang Thomas: Regular Tree Languages Without Unary Symbols are Star-Free. FCT 1993: 396-405 |
| 1992 | ||
| 2 | | Andreas Potthoff: Modulo Counting Quantifiers Over Finite Trees. CAAP 1992: 265-278 |
| 1989 | ||
| 1 | | V. Kell, Albert Maier, Andreas Potthoff, Wolfgang Thomas, U. Wermuth: AMORE: A System for Computing Automata, MOnoidsm and Regular Expressions. STACS 1989: 537-538 |
| 1 | Eija Jurvanen | [4] |
| 2 | V. Kell | [1] |
| 3 | Albert Maier | [1] |
| 4 | Wolfgang Thomas | [1] [3] [4] |
| 5 | U. Wermuth | [1] |