English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Have you forgotten your password?
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Adaptive entailment of equations over rational trees
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1998
Conference Paper
Title
Adaptive entailment of equations over rational trees
Author(s)
Wolf, A.
Fraunhofer FIRST
Mainwork
13th Workshop on Logic Programming, WLP '98
Conference
Workshop on Logic Programming 1998
Language
English
FIRST