Dokumentenserver
Fakultät für Mathematik und Informatik
Login
Keyword search
Search within results
More options
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)
Home
Search: Dörges, Till
1 result
Results
Authors
Year
Title
Type
Fulltext
Dörges, Till
2002
Unendliche Reduktionen in der kombinatorischen Logik
Dipl
pdf