Title
Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen
Abstract
Ohne Zusammenfassung
Year
DOI
Venue
1987
10.1007/3-540-18170-9_177
Computation Theory and Logic
Field
DocType
ISBN
Mathematics
Conference
3-540-18170-9
Citations 
PageRank 
References 
2
1.00
1
Authors
1
Name
Order
Citations
PageRank
Helmut Schwichtenberg137344.83