Formal Correctness of a Quadratic Unification Algorithm

By Ruiz-Reina José-Luis   Martín-Mateos Francisco-Jesús   Alonso José-Antonio   Hidalgo María-José  

Journal of Automated Reasoning, Vol. 37, Iss. 1-2, 2006-08 ,pp. : 67-92

Springer Publishing Company

Access to resources Recommend Favorite

A decision algorithm for distributive unification

By Schmidt-Schausz M.  

Theoretical Computer Science, Vol. 208, Iss. 1, 1998-11 ,pp. : 111-148

Elsevier

Access to resources Recommend Favorite

A Complete Mechanization of Correctness of a String-Preprocessing Algorithm

By Besta Milos   Stomp Frank  

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 5-27

Springer Publishing Company

Access to resources Recommend Favorite

Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm

By Stomp F.  

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 59-78

Elsevier

Access to resources Recommend Favorite

Model “PROLOG” for Countermeasures Efficacy Assessment and its Calculation Algorithm Verification on the Base of the Chazhma Bay Accident Data

By  

International Journal of Information Systems for Crisis Response and Management (IJISCRAM), Vol. 5, Iss. 2, 2013-04 ,pp. : 60-67

IGI Global_journal

Access to resources Recommend Favorite