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

Fernando Soler-Toscano

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

2006
2EEFernando Soler-Toscano, Ángel Nepomuceno-Fernández: : Tableaux and Resolution for Finite Abduction. JELIA 2006: 511-514
1EEFernando Soler-Toscano, Ángel Nepomuceno-Fernández, Atocha Aliseda-Llera: Model-Baded Abduction via Dual Resolution. Logic Journal of the IGPL 14(2): 305-319 (2006)

Coauthor Index

1Atocha Aliseda-Llera [1]
2Ángel Nepomuceno-Fernández [1] [2]

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