dblp.uni-trier.dewww.uni-trier.de

Carlos Gonzalia

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EECarlos Gonzalia, Annabelle McIver: Automating Refinement Checking in Probabilistic System Design. ICFEM 2007: 212-231
2003
2EECarlos Gonzalia: Towards a Formalisation of Relational Database Theory in Constructive Type Theory. RelMiCS 2003: 137-148
2000
1 Carlos Gonzalia: The Allegory of E-Relations in Constructive Type Theory. RelMiCS 2000: 85-94

Coauthor Index

1Annabelle McIver [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)