Back to Search Start Over

Solving Satisfiability of Ground Term Algebras Using DPLL and Unification

Authors :
Badban, B. (Bahareh)
Pol, J.C. (Jaco) van de
Tveretina, O.
Zantema, H. (Hans)
Badban, B. (Bahareh)
Pol, J.C. (Jaco) van de
Tveretina, O.
Zantema, H. (Hans)
Publication Year :
2004

Details

Database :
OAIster
Notes :
application/pdf, English
Publication Type :
Electronic Resource
Accession number :
edsoai.on1251891088
Document Type :
Electronic Resource

Tools

Authors Abstract Subjects Details