Compiling dyadic first-order specifications into map algebra

Author： Cantone D.   Formisano A.   Omodeo E.G.   Zarba C.G.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.293, Iss.2, 2003-02, pp. : 447-475

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

Proof-Guided Test Selection from First-Order Specifications with Equality

By Longuet Delphine   Aiguier Marc   Le Gall Pascale  

Journal of Automated Reasoning, Vol. 45, Iss. 4, 2010-12 ,pp. : 437-473

Springer Publishing Company

Access to resources Recommend Favorite

An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus

By Sandewall E.  

LISP and Symbolic Computation, Vol. 12, Iss. 1, 1999-04 ,pp. : 105-113

Springer Publishing Company

Access to resources Recommend Favorite

A note on first-order projections and games

By Arratia A.A.   Stewart I.A.  

Theoretical Computer Science, Vol. 290, Iss. 3, 2003-01 ,pp. : 2085-2093

Elsevier

Access to resources Recommend Favorite

On weighted first-order logics with discounting

By Mandrali Eleni   Rahonis George  

Acta Informatica, Vol. 51, Iss. 2, 2014-03 ,pp. : 61-106

Springer Publishing Company

Access to resources Recommend Favorite

A behavioural theory of first-order CML

By Ferreira W.   Hennessy M.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 55-107

Elsevier

Access to resources Recommend Favorite