Publikation
Joachim Niehren; Andreas Podelski; Ralf Treinen
DFKI, DFKI Research Reports (RR), Vol. 93-14, 1993.
@techreport{pub6084, author = { Niehren, Joachim and Podelski, Andreas and Treinen, Ralf }, title = {Equational and Membership Constraints for Infinite Trees}, series = {DFKI Research Reports (RR)}, year = {1993}, volume = {93-14}, pages = {33}, institution = {DFKI} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023