Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The General Setting The Technical Content, Alas
 

Summary: The General Setting
The Technical Content, Alas
Our Contribution
Conclusion
Ready to Preorder
Get Your BCCSP Axiomatization for Free!
Luca Aceto1, Wan Fokkink2 and Anna Ingolfsdottir1
1Reykjavik University
2Vrije Universiteit Amsterdam
CALCO 2007, Bergen, 24 August 2007
Thanks to The Icelandic Research Fund for partial financial support.
Luca Aceto, Wan Fokkink and Anna Ingolfsdottir Ready to Preorder
The General Setting
The Technical Content, Alas
Our Contribution
Conclusion
Equalities Between Programs
Abstracting the Problem: (Finite) Axiomatizations
The Role of Equalities Between Programs
Motto: In Computer Science, we use formal languages to

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University

 

Collections: Mathematics; Computer Technologies and Information Sciences