Salvador Lucas Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. J. Autom. Reasoning 48(1): 107-131 (2012)
2010
j41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas: Context-sensitive dependency pairs. Inf. Comput. 208(8): 922-968 (2010)
j40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas: On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theor. Comput. Sci. 411(2): 504-541 (2010)
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals. AISC/MKM/Calculemus 2010: 116-131
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset: Proving Termination Properties with mu-term. AMAST 2010: 201-208
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raúl Gutiérrez, Salvador Lucas: Proving Termination in the Context-Sensitive Dependency Pair Framework. WRLA 2010: 18-34
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Beatriz Alarcón, Salvador Lucas, José Meseguer: A Dependency Pair Framework for A OR C-Termination. WRLA 2010: 35-51
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: From matrix interpretations over the rationals to matrix interpretations over the naturals. CoRR abs/1007.0143 (2010)
2009
j39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas, José Meseguer: Operational Termination of Membership Equational Programs: the Order-Sorted Way. Electr. Notes Theor. Comput. Sci. 238(3): 207-225 (2009)
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Beatriz Alarcón, Salvador Lucas: Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting. Electr. Notes Theor. Comput. Sci. 248: 3-17 (2009)
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez: Web Services and Interoperability for the Maude Termination Tool. Electr. Notes Theor. Comput. Sci. 248: 83-92 (2009)
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francisco Durán, Salvador Lucas, José Meseguer: Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. Electr. Notes Theor. Comput. Sci. 248: 93-113 (2009)
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Automatic Proofs of Termination With Elementary Interpretations. Electr. Notes Theor. Comput. Sci. 258(1): 41-61 (2009)
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio: Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. CADE 2009: 294-305
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francisco Durán, Salvador Lucas, José Meseguer: Termination Modulo Combinations of Equational Theories. FroCoS 2009: 246-262
2008
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sonia Flores, Salvador Lucas, Alicia Villanueva: Formal Verification of Websites. Electr. Notes Theor. Comput. Sci. 200(3): 103-118 (2008)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas, Rafael Navarro-Marset: Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers. Electr. Notes Theor. Comput. Sci. 206: 75-90 (2008)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas, José Meseguer: Termination of just/fair computations in term rewriting. Inf. Comput. 206(5): 652-675 (2008)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain: Proving operational termination of membership equational programs. Higher-Order and Symbolic Computation 21(1-2): 59-88 (2008)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp: Search Techniques for Rational Polynomial Orders. AISC/MKM/Calculemus 2008: 109-124
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francisco Durán, Salvador Lucas, José Meseguer: MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann: Improving Context-Sensitive Dependency Pairs. LPAR 2008: 636-651
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas, José Meseguer: Order-sorted dependency pairs. PPDP 2008: 108-119
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raúl Gutiérrez, Salvador Lucas, Xavier Urbain: Usable Rules for Context-Sensitive Rewrite Systems. RTA 2008: 126-141
2007
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas: Improving the Context-sensitive Dependency Graph. Electr. Notes Theor. Comput. Sci. 188: 91-103 (2007)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas: Proving Termination of Context-Sensitive Rewriting with MU-TERM. Electr. Notes Theor. Comput. Sci. 188: 105-115 (2007)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: Removing redundant arguments automatically. TPLP 7(1-2): 3-35 (2007)
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Beatriz Alarcón, Salvador Lucas: Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs. FroCoS 2007: 73-87
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Practical use of polynomials over the reals in proofs of termination. PPDP 2007: 39-50
2006
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting. Appl. Algebra Eng. Commun. Comput. 17(1): 49-73 (2006)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Rewriting-Based Navigation of Web Sites: Looking for Models and Logics. Electr. Notes Theor. Comput. Sci. 157(2): 79-85 (2006)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Proving termination of context-sensitive rewriting by transformation. Inf. Comput. 204(12): 1782-1846 (2006)
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas: Context-Sensitive Dependency Pairs. FSTTCS 2006: 297-308
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Gramlich, Salvador Lucas: Generalizing Newman's Lemma for Left-Linear Rewrite Systems. RTA 2006: 66-80
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments Automatically. CoRR abs/cs/0601039 (2006)
2005
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francisco Durán, Santiago Escobar, Salvador Lucas: New Evaluation Commands for Maude Within Full Maude. Electr. Notes Theor. Comput. Sci. 117: 263-284 (2005)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. Electr. Notes Theor. Comput. Sci. 124(1): 25-39 (2005)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Strategies in Programming Languages Today. Electr. Notes Theor. Comput. Sci. 124(2): 113-118 (2005)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Preface. Electr. Notes Theor. Comput. Sci. 137(1): 1-3 (2005)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas, Claude Marché, José Meseguer: Operational termination of conditional term rewriting systems. Inf. Process. Lett. 95(4): 446-453 (2005)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Polynomials over the reals in proofs of termination: from theory to practice. ITA 39(3): 547-586 (2005)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Gramlich, Salvador Lucas: Reduction strategies in rewriting and programming. J. Symb. Comput. 40(1): 745-747 (2005)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal: Specialization of functional logic programs based on needed narrowing. TPLP 5(3): 273-303 (2005)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas, José Meseguer: Termination of Fair Computations in Term Rewriting. LPAR 2005: 184-198
c33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Rewriting-based navigation of Web sites. WWV 2005: 157-160
2004
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Strong and NV-sequentiality of constructor systems. Inf. Process. Lett. 89(4): 191-201 (2004)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Polynomials for Proving Termination of Context-Sensitive Rewriting. FoSSaCS 2004: 318-332
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain: Proving termination of membership equational programs. PEPM 2004: 147-158
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting. RTA 2004: 200-209
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Functional Logic Programs Based on Needed Narrowing. CoRR cs.PL/0403011 (2004)
2003
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: OnDemandOBJ: A Laboratory for Strategy Annotations. Electr. Notes Theor. Comput. Sci. 86(2): 1-27 (2003)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: On-demand Evaluation by Program Transformation. Electr. Notes Theor. Comput. Sci. 86(2): 92-118 (2003)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract correction of first-order functional programs. Electr. Notes Theor. Comput. Sci. 86(3): 105-122 (2003)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Gramlich, Salvador Lucas: Preface: 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings. Electr. Notes Theor. Comput. Sci. 86(4): 567-569 (2003)
c29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433
2002
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Lazy Rewriting and Context-Sensitive Rewriting. Electr. Notes Theor. Comput. Sci. 64: 234-254 (2002)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Gramlich, Salvador Lucas: Preface. Electr. Notes Theor. Comput. Sci. 70(6): 196-197 (2002)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: Correct and Complete (Positive) Strategy Annotations for OBJ. Electr. Notes Theor. Comput. Sci. 71: 70-89 (2002)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas: Redundancy of Arguments Reduced to Induction. Electr. Notes Theor. Comput. Sci. 76: 20-41 (2002)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sergio Antoy, Salvador Lucas: Demandness in Rewriting and Narrowing. Electr. Notes Theor. Comput. Sci. 76: 42-51 (2002)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Context-Sensitive Rewriting Strategies. Inf. Comput. 178(1): 294-343 (2002)
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments of Functions. AMAST 2002: 117-131
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cristina Borralleras, Salvador Lucas, Albert Rubio: Recursive Path Orderings Can Be Context-Sensitive. CADE 2002: 314-331
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas: Improving On-Demand Strategy Annotations. LPAR 2002: 1-18
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Gramlich, Salvador Lucas: Modular termination of context-sensitive rewriting. PPDP 2002: 50-61
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Termination of (Canonical) Context-Sensitive Rewriting. RTA 2002: 296-310
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Gramlich, Salvador Lucas: Simple termination of context-sensitive rewriting. ACM SIGPLAN Workshop on Rule-Based Programming 2002: 29-42
2001
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Hanus, Salvador Lucas: An Evaluation Semantics for Narrowing-Based Functional Logic Languages. Journal of Functional and Logic Programming 2001(2) (2001)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Gramlich, Salvador Lucas: 1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface. Electr. Notes Theor. Comput. Sci. 57: 201-202 (2001)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Termination of Rewriting With Strategy Annotations. LPAR 2001: 669-684
c20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Termination of On-Demand Rewriting and Termination of OBJ Programs. PPDP 2001: 82-93
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Transfinite Rewriting Semantics for Term Rewriting Systems. RTA 2001: 216-230
2000
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Strong and NV-sequentiality of constructor systems. WFLP 2000: 253-267
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: Redundancy Analyses in Term Rewriting. WFLP 2000: 309-323
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Redundant arguments in infinitary rewriting. WFLP 2000: 340-343
1999
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Salvador Lucas, Santiago Escobar: An Incremental Needed Narrowing Calculus for Curry. APPIA-GULP-PRODE 1999: 75-88
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Hanus, Salvador Lucas: A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. Fuji International Symposium on Functional and Logic Programming 1999: 353-368
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Inductively Sequential Functional Logic Programs. ICFP 1999: 273-283
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: UPV-CURRY: An Incremental CURRY Interpreter. SOFSEM 1999: 331-339
1998
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Hanus, Salvador Lucas, Aart Middeldorp: Strongly Sequential and Inductively Sequential Term Rewriting Systems. Inf. Process. Lett. 67(1): 1-8 (1998)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Root-Neededness and Approximations of Neededness. Inf. Process. Lett. 67(5): 245-254 (1998)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Context-sensitive Computations in Functional and Functional Logic Programs. Journal of Functional and Logic Programming 1998(1) (1998)
1997
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Computational Properties of Term Rewriting with Replacement Restrictions. APPIA-GULP-PRODE 1997: 393-404
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Needed Reductions with Context-Sensitive Rewriting. ALP/HOA 1997: 129-143
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Transformations for Efficient Evaluations in Functional Programming. PLILP 1997: 127-141
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Efficient Strong Sequentiality Using Replacement Restrictions. SOFSEM 1997: 489-496
1996
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Hanus, Salvador Lucas: A Denotational Semantics for Needed Narrowing. APPIA-GULP-PRODE 1996: 259-270
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Termination of Context-Sensitive Rewriting by Rewriting. ICALP 1996: 122-133
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Context-Sensitive Computations in Confluent Programs. PLILP 1996: 408-422
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas, Javier Oliver: A New Proposal of Concurrent Process Calculus. SOFSEM 1996: 385-392
1995
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Computational Properties in Context-Sensitive Rewriting. GULP-PRODE 1995: 435-446
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas: Fundamentals of Context=Sensitive Rewriting. SOFSEM 1995: 405-412
1994
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Lucas, Javier Oliver: El lambda-calculo Etiquetado Paralelo (LCEP). GULP-PRODE (1) 1994: 125-139

Coauthor Index

1Beatriz Alarcón
[j41] [c49] [c47] [j38] [c42] [j30] [j29] [c38] [c36]
2María Alpuente
[j40] [j28] [i2] [j17] [i1] [j15] [j14] [j13] [c29] [j9] [j8] [c28] [c26] [c25] [c17] [c15] [c13] [c12]
3Sergio Antoy
[j7]
4Demis Ballis
[j13] [c29]
5Cristina Borralleras
[j42] [c46] [c27]
6Manuel Clavel
[c39]
7Marco Comini
[c26]
8Francisco Durán
[j37] [j36] [c45] [j31] [c43] [c39] [j24] [j23] [c31]
9Rachid Echahed
[j8]
10Fabian Emmes
[c42]
11Santiago Escobar
[j40] [j28] [i2] [j24] [j23] [j15] [j14] [j13] [c29] [j9] [j8] [c28] [c26] [c25] [c17] [c15] [c12]
12Moreno Falaschi
[j13] [c29] [c26]
13Sonia Flores
[j34]
14Carsten Fuhs
[c44] [c42]
15Jürgen Giesl
[c44] [c42]
16Bernhard Gramlich
[j40] [c35] [j18] [j12] [j10] [c25] [c24] [c22] [j4]
17Francisco Gutiérrez
[j37]
18Raúl Gutiérrez
[j41] [c49] [c48] [c42] [c40] [j30] [j29] [c36]
19Michael Hanus
[j17] [i1] [j5] [c14] [c13] [j3] [c7]
20Joe Hendrix
[c39]
21José Iborra
[j29]
22Claude Marché
[j31] [j20] [c31]
23José Meseguer
[c47] [j39] [j37] [j36] [c45] [j32] [j31] [c43] [c41] [c39] [j20] [c34] [c31]
24Aart Middeldorp
[j3]
25Rafael Navarro-Marset
[c49] [c46] [j33] [c44]
26Javier Oliver
[c4] [c1]
27Albert Oliveras
[j42]
28Carsten Otto
[c44]
29Enric Rodríguez-Carbonell
[j42] [c46]
30Albert Rubio
[j42] [c46] [c27]
31Peter Schneider-Kamp
[c44] [c42]
32René Thiemann
[c42]
33Xavier Urbain
[j31] [c40] [c31]
34Germán Vidal
[j17] [i1] [c13]
35Alicia Villanueva
[j34]
36Peter Csaba Ölveczky
[c39]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 13:50:03 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page