Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Algorithmic Analysis of Programs with Well QuasiOrdered Domains \Lambda
 

Summary: Algorithmic Analysis of Programs with Well
Quasi­Ordered Domains \Lambda
Parosh Aziz Abdulla
Dept. Computer Systems
Uppsala University
P.O.Box 325
751 05 Uppsala, Sweden
parosh@docs.uu.se
KŻarlis ź
CerŻans
Institute of Mathematics
and Computer Science
University of Latvia
karlis@cclu.lv
Bengt Jonsson
Dept. Computer Systems
Uppsala University
P.O.Box 325,
751 05 Uppsala, Sweden
bengt@docs.uu.se

  

Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet

 

Collections: Computer Technologies and Information Sciences