Default logic and specification of nonmonotonic reasoning

By Engelfriet Joeri   Wiktor Marek V.   Treur Jan   Truszczynski Miroslaw  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 13, Iss. 2, 2001-04 ,pp. : 99-112

Taylor & Francis Ltd

Access to resources Recommend Favorite

Specification and proof in membership equational logic

By Bouhoula A.   Jouannaud J.-P.   Meseguer J.  

Theoretical Computer Science, Vol. 236, Iss. 1, 2000-04 ,pp. : 35-132

Elsevier

Access to resources Recommend Favorite

Maude: specification and programming in rewriting logic

By Clavel M.   Duran F.   Eker S.   Lincoln P.   Mart-Oliet N.   Meseguer J.   Quesada J.F.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 187-243

Elsevier

Access to resources Recommend Favorite

Specification of real-time and hybrid systems in rewriting logic

By Olveczky P.C.   Meseguer J.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 359-405

Elsevier

Access to resources Recommend Favorite

Application of graphical specification methodologies to manufacturing control logic development: a classification and comparison

By Shanmugham Sengoda G.   Roberts Chell A.  

International Journal of Computer Integrated Manufacturing, Vol. 11, Iss. 2, 1998-03 ,pp. : 142-152

Taylor & Francis Ltd

Access to resources Recommend Favorite