Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Compositional Semantic Basis for the Analysis of Equational Horn Programs*
 

Summary: 



A Compositional Semantic Basis for the



Analysis of Equational Horn Programs*



Mar'ia Alpuente x Moreno Falaschi { Germ'an Vidalx


September 4, 1996



Abstract

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences