Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Compositional Analysis for Equational Horn Programs?
 

Summary: 



Compositional Analysis for

Equational Horn Programs?



Mar'ia Alpuente1, Moreno Falaschi2 and Germ'an Vidal1

1Departamento de Sistemas Inform'aticos y Computaci'on,

Universidad Polit'ecnica de Valencia,
Camino de Vera s/n, Apdo. 22012, 46020 Valencia, Spain.
e.mail:{alpuente,gvidal}@dsic.upv.es
2 Dipartimento di Elettronica e Informatica,

Universit`a di Padova,

  

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

 

Collections: Computer Technologies and Information Sciences