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

Miguel Ángel Vallejo

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

1997
3 Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo: Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses. CADE 1997: 49-52
2 Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo: Barcelona. J. Autom. Reasoning 18(2): 171-176 (1997)
1996
1 Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo: An Implementation Kernel for Theorem Proving with Equality Clauses. APPIA-GULP-PRODE 1996: 89-104

Coauthor Index

1Robert Nieuwenhuis [1] [2] [3]
2José Miguel Rivero [1] [2] [3]

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