Travelled to:1 × Finland
Collaborated with:∅ E.Jurvanen W.Thomas
Talks about:tree (2) recogniz (1) frontier (1) regular (1) languag (1) order (1) logic (1) first (1) finit (1) check (1)
Person: Andreas Potthoff
DBLP: Potthoff:Andreas
Contributed to:
1993
1995Wrote 2 papers:
- DLT-1993-JurvanenPT
- Tree Languages Recognizable by Regular Frontier Check (EJ, AP, WT), pp. 3–17.
- TAPSOFT-1995-Potthoff #finite #first-order #logic
- First-Order Logic on Finite Trees (AP), pp. 125–139.