A compositional semantic basis for the analysis of equational Horn programs

Author： Alpuente M. Falaschi M. Vidal G.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.165, Iss.1, 1996-09, pp. : 133-169

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

The max-plus algebra of the natural numbers has no finite equational basis

By Aceto L. Esik Z. Ingolfsdottir A.

Theoretical Computer Science, Vol. 293, Iss. 1, 2003-02 ,pp. : 169-188

Elsevier

Access to resources Recommend Favorite

Fully abstract compositional semantics for an algebra of logic programs

By Brogi A. Turini F.

Theoretical Computer Science, Vol. 149, Iss. 2, 1995-10 ,pp. : 201-229

Elsevier

Access to resources Recommend Favorite

Compositional SCC Analysis for Language Emptiness

By Wang Chao Bloem Roderick Hachtel Gary Ravi Kavita Somenzi Fabio

Formal Methods in System Design, Vol. 28, Iss. 1, 2006-01 ,pp. : 5-36

Springer Publishing Company

Access to resources Recommend Favorite

A semantic approach to optimize linear datalog programs

By Paramá José Brisaboa Nieves Penabad Miguel Places Ángeles

Acta Informatica, Vol. 43, Iss. 5, 2006-12 ,pp. : 341-370

Springer Publishing Company

Access to resources Recommend Favorite

COLLABORATION IN THE SEMANTIC GRID: A BASIS FOR e-LEARNING

By Page Kevin

Applied Artificial Intelligence, Vol. 19, Iss. 9-10, 2005-11 ,pp. : 881-904

Taylor & Francis Ltd

Access to resources Recommend Favorite