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

Francicleber Martins Ferreira

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

2007
2EEFrancicleber Martins Ferreira, Ana Teresa C. Martins: On Minimal Models. Logic Journal of the IGPL 15(5-6): 503-526 (2007)
2006
1EEFrancicleber Martins Ferreira, Ana Teresa C. Martins: The Predicate-Minimizing Logic MIN. IBERAMIA-SBIA 2006: 582-591

Coauthor Index

1Ana Teresa C. Martins [1] [2]

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