Dokumentenserver Fakultät für Mathematik und Informatik

Login

Keyword search

Search within results

Guided search

Click a term to refine your current search.

Type of work

Thesis (1)

Organisation

IfI (1)

Language

German (1)

Authors

: all » Dörges, Till

Year

2002 (1)

Discipline

MATH/INF/NAT (1)

Keywords

CL(S) (1)
induktive (1)
kombinatorische (1)
Logik (1)
Muster (1)
Reduktionsketten (1)
unendliche (1)
Wortproblem (1)

Search: Dörges, Till

1 result

Results

Authors	Year	Title	Type	Fulltext
Dörges, Till	2002	Unendliche Reduktionen in der kombinatorischen Logik	Dipl	pdf