Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "María Alpuente" ( http://dblp.L3S.de/Authors/María_Alpuente )

URL (Homepage):  http://www.dsic.upv.es/users/elp/alpuente.html  Author page on DBLP  Author page in RDF  Community of María Alpuente in ASPL-2

Publication years (Num. hits)
1991-1996 (17) 1997-2000 (17) 2001-2004 (19) 2005-2007 (15) 2008-2009 (18) 2010-2011 (16) 2012 (1)
Publication types (Num. hits)
article(39) inproceedings(56) proceedings(8)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(16) Theor. Comput. Sci.(8) APPIA-GULP-PRODE(5) CoRR(4) FMICS(4) GULP-PRODE(4) LOPSTR(4) LPAR(3) PLILP(3) WFLP(3) WWV(3) ESOP(2) PEPM(2) SAINT(2) SAS(2) SOFSEM(2) More (+10 of total 50)
Authors
María Alpuente(103) Moreno Falaschi(49) Santiago Escobar(31) Germán Vidal(27) Demis Ballis(21) Salvador Lucas(18) Daniel Romero(12) Alicia Villanueva(10) Ginés Moreno(7) Mauricio Alba-Castro(6) Christophe Joubert(5) Francisco J. Correa(5) José Iborra(5) Pascual Julián Iranzo(5) Pedro Ojeda(5) Ernesto Pimentel(4) More (+10 of total 37)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 17 keywords
Results
Found 103 publication records. Showing 103 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero Backward Trace Slicing for Conditional Rewrite Theories. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Modular termination of basic narrowing and equational unification. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Javier Espert, Daniel Romero Dynamic Backward Slicing of Rewriting Logic Computations Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero Debugging of Web Applications with Web-TLR Search on Bibsonomy WWV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Javier Espert, Daniel Romero Backward Trace Slicing for Rewriting Logic Theories. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente (eds.) Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra A compact fixpoint semantics for term rewriting systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi An integrated framework for the diagnosis and correction of rule-based programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Abstract Certification of Global Non-Interference in Rewriting Logic Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi Transformation and Debugging of Functional Logic Programs. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis Completeness of Unfolding for Rewriting Logic Theories. Search on Bibsonomy SYNASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Approximating Non-interference and Erasure in Rewriting Logic. Search on Bibsonomy SYNASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi A fold/unfold transformation framework for rewrite theories extended to CCT. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF code carrying theory, fold/unfold transformation, rewriting logic
1María Alpuente, Demis Ballis, Javier Espert, Daniel Romero Model-Checking Web Applications with Web-TLR. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva Datalog-Based Program Analysis with BES and RWL. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Daniel Romero A Tool for Computing the Visual Similarity of Web Pages. Search on Bibsonomy SAINT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Web page comparison, Web document clustering, tree edit distance, visual similarity
1María Alpuente, Santiago Escobar, José Iborra Termination of narrowing revisited. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda Order-Sorted Generalization. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero A Tool for Automated Certification of Java Source Code in Maude. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Daniel Romero A Visual Technique for Web Pages Comparison. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Byron Cook, Christophe Joubert (eds.) Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Abstract Certification of Global Non-interference in Rewriting Logic. Search on Bibsonomy FMCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Daniel Romero Specification and Verification of Web Applications in Rewriting Logic. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva Defining Datalog in Rewriting Logic. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Termination of Narrowing Using Dependency Pairs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva Using Datalog and Boolean Equation Systems for Program Analysis. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boolean equation system, demand-driven evaluation, program analysis, Datalog
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Automated Certification of Non-Interference in Rewriting Logic. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Modular Termination of Basic Narrowing. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi Semantic Verification of Web System Contents. Search on Bibsonomy ER Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi An Abstract Generic Framework for Web Site Verification. Search on Bibsonomy SAINT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abstrac interpretation, web verification, rewriting
1María Alpuente, Germán Vidal (eds.) Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings Search on Bibsonomy SAS The full citation details ... 2008 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda A Modular Equational Generalization Algorithm. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Bernhard Gramlich, Alicia Villanueva A Framework for Timed Concurrent Constraint Programming with External Functions. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas Removing redundant arguments automatically. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Automatic Certification of Java Source Code in Rewriting Logic. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero A Fast Algebraic Web Verification Service. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva Verifying Real-Time Properties of tccp Programs. Search on Bibsonomy J. UCS The full citation details ... 2006 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, Moreno Falaschi Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas Removing Redundant Arguments Automatically Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi Rule-based verification of Web sites. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero A Semi-Automatic Methodology for Repairing FaultyWeb Sites. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva A semantic framework for the abstract model checking of tccp programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva Abstract Model Checking of tccp programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi A Rewriting-based Framework for Web Sites Verification. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal Specialization of functional logic programs based on needed narrowing. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Moreno Falaschi (eds.) First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain Search on Bibsonomy WWV The full citation details ... 2005 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, Moreno Falaschi Preface. Search on Bibsonomy WWV The full citation details ... 2005 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal Rules + strategies for transforming lazy functional logic programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal Specialization of Functional Logic Programs Based on Needed Narrowing Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1María Alpuente, Francisco J. Correa Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma. Search on Bibsonomy Revista Colombiana de Computación The full citation details ... 2004 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Alicia Villanueva A Symbolic Model Checker for tccp Programs. Search on Bibsonomy RISE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Timed Concurrent Constraint Programs, DDDs, Model Checking, Lightweight formal methods
1María Alpuente, Demis Ballis, Moreno Falaschi Verdi: An Automated Tool for Web Sites Verification. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi Automated Verification of Web Sites Using Partial Rewriting. Search on Bibsonomy ISoLA (Preliminary proceedings) The full citation details ... 2004 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas OnDemandOBJ: A Laboratory for Strategy Annotations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas On-demand Evaluation by Program Transformation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas Abstract correction of first-order functional programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Uniform Lazy Narrowing. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas Abstract Correction of OBJ-like Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi Correction of Functional Logic Programs. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Francisco J. Correa, Moreno Falaschi A Debugging Scheme for Functional Logic Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas Correct and Complete (Positive) Strategy Annotations for OBJ. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas Redundancy of Arguments Reduced to Induction. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas Improving On-Demand Strategy Annotations. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ
1María Alpuente, Santiago Escobar, Salvador Lucas Removing Redundant Arguments of Functions. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas Abstract Diagnosis of Functional Programs. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1María Alpuente, Francisco J. Correa, Moreno Falaschi Declarative Debugging of Functional Logic Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal An Automatic Composition Algorithm for Functional Logic Programs. Search on Bibsonomy SOFSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1María Alpuente (eds.) 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 Search on Bibsonomy WFLP The full citation details ... 2000 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal Using PE to Automate Program Composition. Search on Bibsonomy WFLP The full citation details ... 2000 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas Redundancy Analyses in Term Rewriting. Search on Bibsonomy WFLP The full citation details ... 2000 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal Un Sistema de Transformación para Programas Multiparadigma. Search on Bibsonomy Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial The full citation details ... 1999 DBLP  BibTeX  RDF
1Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal A Partial Evaluation Framework for Curry Programs. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1María Alpuente, Salvador Lucas, Santiago Escobar An Incremental Needed Narrowing Calculus for Curry. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal Specialization of Inductively Sequential Functional Logic Programs. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal A Transformation System for Lazy Functional Logic Programs. Search on Bibsonomy Fuji International Symposium on Functional and Logic Programming The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas UPV-CURRY: An Incremental CURRY Interpreter. Search on Bibsonomy SOFSEM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Germán Vidal Partial Evaluation of Functional Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
1María Alpuente, Moreno Falaschi, Germán Vidal A Unifying View of Functional and Logic Program Specialization. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Polygenetic Partial Evaluation of Lazy Functional Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
1Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Improving Control in Functional Logic Program Specialization. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal Safe Folding/Unfolding with Conditional Narrowing. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal Safe Folding/Unfolding with Conditional Narrowing. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Specialization of Lazy Functional Logic Programs. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems
1María Alpuente, Moreno Falaschi, Germán Vidal A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Call-By Name Partial Evaluation of Functional Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Germán Vidal Narrowing-Driven Partial Evaluation of Functional Logic Programs. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Ferdinando Manzo Analyses of Unsatisfiability for Equational Logic Programming. Search on Bibsonomy J. Log. Program. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Giorgio Levi Incremental Constraint Satisfaction for Equational Logic Programming. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1María Alpuente, Maria I. Sessa (eds.) 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995 Search on Bibsonomy GULP-PRODE The full citation details ... 1995 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Germán Vidal Compositional Analysis for Equational Horn Programs. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF equational logic programming, compositionality, Semantic analysis, term rewriting systems
1María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal A Compositional Semantics for Conditional Term Rewriting Systems. Search on Bibsonomy GULP-PRODE The full citation details ... 1994 DBLP  BibTeX  RDF
1María Alpuente, Roberto Barbuti, Isidro Ramos (eds.) 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1 Search on Bibsonomy GULP-PRODE The full citation details ... 1994 DBLP  BibTeX  RDF
1María Alpuente, Roberto Barbuti, Isidro Ramos (eds.) 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2 Search on Bibsonomy GULP-PRODE The full citation details ... 1994 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal A Compositional Semantics for Conditional Term Rewriting Systems. Search on Bibsonomy ICCL The full citation details ... 1994 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal Using Narrowing Approximations to Optimize Equational Logic Programs. Search on Bibsonomy GULP The full citation details ... 1993 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, Germán Vidal Incremental Equational Constraint Analyses. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal Narrowing Approximations as an Optimization for Equational Logic Programs. Search on Bibsonomy PLILP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 103 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.