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
Artikel
The occur-check problem revisited
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1988
Journal Article
Title
The occur-check problem revisited
Author(s)
Beer, J.
Journal
The journal of logic programming
DOI
10.1016/0743-1066(88)90012-X
Language
English
GMD
