Publikation
Rolf Backofen, James Rogers, K. Vijay-Shanker
DFKI DFKI Research Reports (RR) 95-05 1995.
@techreport{pub6123, author = { Backofen, Rolf and Rogers, James and Vijay-Shanker, K. }, title = {A First-Order Axiomatization of the Theory of Finite Trees}, series = {DFKI Research Reports (RR)}, year = {1995}, volume = {95-05}, pages = {35}, institution = {DFKI} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2022