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

James Caldwell

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

2008
3EENadya Kuzmina, John Paul, Ruben Gamboa, James Caldwell: Extending dynamic constraint detection with disjunctive constraints. WODA 2008: 57-63
2007
2EEJames Caldwell, Josef Pohl: Constructive Membership Predicates as Index Types. Electr. Notes Theor. Comput. Sci. 174(7): 3-16 (2007)
1999
1 James Caldwell: Intuitionistic Tableau Extracted. TABLEAUX 1999: 82-96

Coauthor Index

1Ruben Gamboa [3]
2Nadya Kuzmina [3]
3John Paul [3]
4Josef Pohl [2]

Colors in the list of coauthors

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