A hidden Herbrand theorem: combining the object and logic paradigms

Author： Goguen J.   Malcolm G.   Kemp T.  

Publisher： Elsevier

ISSN： 1567-8326

Source： Journal of Logic and Algebraic Programming, Vol.51, Iss.1, 2002-04, pp. : 1-41

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem

By Voronkov A.  

Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. : 319-352

Elsevier

Access to resources Recommend Favorite

Combining objects and planning paradigms for human skeleton animation

By Koukam A.   Fourar H.  

Engineering Applications of Artificial Intelligence, Vol. 11, Iss. 4, 1998-08 ,pp. : 461-468

Elsevier

Access to resources Recommend Favorite

A purely object-oriented approach for rule-based paradigms

By Sato H.   Hakamada H.   Yamazaki Y.   Uto M.   Sugawara M.   Umezawa Y.   Boufriche-Boufada Z.  

Expert Systems with Applications, Vol. 14, Iss. 4, 1998-04 ,pp. : 483-492

Elsevier

Access to resources Recommend Favorite

Interactive Theorem Proving with Temporal Logic

By Felty A.   Thery L.  

Journal of Symbolic Computation, Vol. 23, Iss. 4, 1997-04 ,pp. : 367-397

Academic Press

Access to resources Recommend Favorite

Logic of Change: Semantics of Object Systems with Active Relations

By Bider I.  

Automated Software Engineering, Vol. 7, Iss. 1, 2000-03 ,pp. : 9-37

Springer Publishing Company

Access to resources Recommend Favorite