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

Francisco Durán (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott: Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Unification and Narrowing in Maude 2.4. RTA 2009: 380-390
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Durán, Santiago Escobar, Salvador Lucas: New Evaluation Commands for Maude Within Full Maude. Electr. Notes Theor. Comput. Sci. 117: 263-284 (2005)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. Electr. Notes Theor. Comput. Sci. 124(1): 25-39 (2005)

Selection of 4 from 84 records - Francisco Durán has 48 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page