| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 4 |      | Sunil Kothari, James Caldwell: A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints UNIF 2010: 24-38 |
| 2008 | ||
| 3 | | Nadya Kuzmina, John Paul, Ruben Gamboa, James Caldwell: Extending dynamic constraint detection with disjunctive constraints. WODA 2008: 57-63 |
| 2007 | ||
| 2 | | James 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 |
| 1 | Ruben Gamboa | [3] |
| 2 | Sunil Kothari | [4] |
| 3 | Nadya Kuzmina | [3] |
| 4 | John Paul | [3] |
| 5 | Josef Pohl | [2] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page