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
Eine entscheidbare Klasse n-stelliger Horn-Prädikate
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1995
Conference Paper
Title
Eine entscheidbare Klasse n-stelliger Horn-Prädikate
Author(s)
Burghardt, J.
Fraunhofer FIRST
Mainwork
Logik in der Informatik
Conference
Gesellschaft für Informatik, Fachgruppe 0.1.6 Logik in der Informatik (Jahrestagung) 1995
Language
German
FIRST
