| 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995, 1994. |
SAT modulo linear arithmetic for Solving Polynomial Constraints
Proving Termination Properties with MU-TERM
A Dependency Pair Framework for A∨C-Termination
Proving Termination in the Context-Sensitive
Dependency Pair Framework
Context-Sensitive Dependency Pairs
From matrix interpretations over the rationals to matrix interpretations over the naturals
On-Demand Strategy Annotations Revisited: An Improved On-Demand
Evaluation Strategy
Automatic Proofs of Termination with Elementary Interpretations
Termination Modulo Combinations of Equational Theories
Using Matrix Interpretations over the Reals in Proofs of Termination
Mechanizing Proofs of Termination in the Context-Sensitive Dependency Pairs Framework
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting
Methods for proving termination of rewriting-based programming languages
Web Services and Interoperability for the Maude Termination Tool
Operational Termination of Membership Equational Programs: the Order-Sorted Way
Improving Context-Sensitive Dependency Pairs
MTT: The Maude Termination Tool
Search Techniques for Rational Polynomial Orders
Rewriting Techniques for Analysing Termination and
Complexity Bounds of Safe Programs
Usable Rules for Context-Sensitive Rewrite Systems
Order-Sorted Dependency Pairs
Proving Operational Termination of Membership
Equational Programs
Formal Verification of Web Sites
Termination of Just/Fair Computations in Term Rewriting
Comparing CSP and SAT solvers for polynomial constraints
in termination provers
Termination and complexity bounds for SAFE programs
Termination of Innermost Context-Sensitive Rewriting Using
Dependency Pairs
The Maude Formal Tool Environment
Practical use of polynomials over the reals in proofs of
termination
Improving the context-sensitive dependency graph
Proving Termination of Context-Sensitive Rewriting With
MU-TERM
Removing Redundant Arguments Automatically
Context-Sensitive Dependency Pairs
Proving Termination of Context-Sensitive Rewriting by Transformation
Generalizing Newman's Lemma for Left-Linear Rewrite Systems
Building .NET GUIs for Haskell applications
Rewriting-Based Navigation of Web Sites: Looking for
Models and Logics
On the relative power of polynomials with real,
rational, and integer coefficients
in proofs of termination of rewriting
Termination of Fair Computations in Term Rewriting
Crossing the Rubicon: from Haskell to .NET through COM
A Note on Syntactic Annotations for Narrowing
Report on the use of polynomials with real and rational
coefficients in proofs of termination
Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004 - Selected papers
Operational termination of conditional term rewriting
systems
Polynomials over the reals in proofs of termination: from
theory to practice
Reduction Strategies in Rewriting and Programming (special issue)
Specialization of Functional Logic Programs Based on Needed Narrowing
A note on completeness of conditional context-sensitive
rewriting
Strategies in Programming Languages Today
Connecting Remote Tools: Do it by yourSELF!
Rewriting-based Navigation of Web Sites
On-demand evaluation for Maude
New evaluation commands for Maude within Full Maude
Proving Termination of Context-Sensitive Rewriting by Transformation
Proc. of the IV Jornadas sobre
Programación y Lenguajes, PROLE'04
Towards (constructor) normal forms for Maude within full Maude
Proving Termination of Membership Equational Programs
MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting
Connecting remote termination tools
MU-TERM: a tool for proving termination of rewriting with
replacement restrictions
Polynomials over the reals in proofs of termination
Correct and complete (positive) strategy annotations for
OBJ
Polynomials for Proving Termination of Context-Sensitive
Rewriting
Modular Context-Sensitive Algebraic Specifications
New evaluation commands for Maude within Full Maude
Strong and NV-sequentiality of constructor systems
Reduction Strategies in Rewriting and Programming
RDP 2003 - Federated Conference on Rewriting, Deduction
and Programming
Termination of programs with strategy annotations
On-Demand Evaluation by Program Transformation
OnDemandOBJ: A Laboratory for Strategy Annotations
On-demand Strategy Annotations Revisited
Termination of Computational
Restrictions of Rewriting and Termination of Programs
Automated Correction of Functional Programs
Reduction Strategies in Rewriting and Programming
Abstract Diagnosis of Functional Programs
Semantics of programs with strategy annotations
Reduction Strategies in Rewriting and Programming
Redundancy of Arguments Reduced to Induction
Demandness in Rewriting and Narrowing
Context-Sensitive Rewriting Strategies
Improving On-demand Strategy Annotations
A transformation for implementing on-demand strategy annotations
Modular Termination of Context-Sensitive Rewriting
Simple Termination of Context-Sensitive Rewriting
Lazy Rewriting and Context-Sensitive Rewriting
A Debugging Scheme for Functional Programs
A program transformation for implementing on-demand strategy annotations
Removing Redundant Arguments of Functions
Recursive Path Orderings can be Context-Sensitive
Termination of (Canonical) Context-Sensitive Rewriting
Reduction Strategies in Rewriting and Programming
Correct and complete (positive) strategy annotations for
OBJ
MU-TERM 1.0. User's manual
Reduction Strategies in Rewriting and Programming
Termination of Rewriting With Strategy Annotations
Computational properties of term rewriting with strategy
annotations
Context-Sensitive Rewriting, Lazy Rewriting, and
On-demand Rewriting
Termination of on-demand rewriting and termination of
OBJ programs
On proving termination of OBJ programs with positive
local strategies
An Evaluation Semantics for Narrowing-Based Functional Logic
Languages
Reduction Strategies in Rewriting and Programming
Transfinite Rewriting Semantics for Term Rewriting Systems
Relating termination and infinitary normalization
On proving termination of OBJ programs
Redundancy Analyses in Term Rewriting (extended abstract)
Redundant Arguments in Infinitary Rewriting (extended abstract)
Strong and NV-sequentiality of constructor systems (extended abstract)
Context-sensitive rewriting strategies
Observable Semantics and Dynamic Analysis of Computational
Processes
An Evaluation Semantics for Narrowing-Based Functional Logic
Languages
UPV-Curry: an Incremental Curry Interpreter
A Semantics for Program Analysis in Narrowing-Based Functional Logic
Languages
Specialization of Inductively Sequential Functional Logic
Programs
Incremental Needed Narrowing
Rewriting with replacement restrictions (abstract of the
PhD
thesis)
A framework for the analysis of syntactic replacement
restrictions
Rewriting with replacement restrictions
Root-neededness and approximations of neededness
Strongly sequential and inductively sequential term rewriting
systems
Context-sensitive computations in functional and functional logic
programs
Needed Reductions with Context-Sensitive Rewriting
Transformations for Efficient Evaluations in Functional
Programming
Computational properties of term rewriting with
replacement restrictions
Using replacement restrictions in functional-logic
languages
Context-sensitive Computations in Confluent Programs
A Denotational Semantics for Needed Narrowing
Termination of Context-Sensitive Rewriting by
Rewriting
Towards a denotational semantics for needed narrowing
Computational properties of context-sensitive
rewriting
2012
C. Borralleras,
S. Lucas,,
A. Oliveras,
Enric Rodríguez-Carbonell, and
A. Rubio
© Springer-Verlag
Journal of Automated Reasoning, 48(1):107-131, 2012.
Available:
Abstract
PDF (preprint)
2011
B. Alarcón,
R. Gutiérrez,
S. Lucas, and
R. Navarro-Marset
© Springer-Verlag
Proc. of the
13th International Conference on
Algebraic Methodology And Software Technology, AMAST'10
LNCS 6486:201-208, 2011.
Available:
Abstract
PDF
2010
B. Alarcón,
S. Lucas, and
J. Meseguer
© Springer-Verlag
Proc. of the
8th International Workshop on Rewriting Logic and its Applications, WRLA'10
LNCS 6381:36-52,
2010.
Available:
Abstract
PDF
R. Gutiérrez and
S. Lucas
© Springer-Verlag
Proc. of the
8th International Workshop on Rewriting Logic and its Applications, WRLA'10
LNCS 6381:19-35, Springer-Verlag, Berlin,
2010.
Available:
Abstract
PDF
B. Alarcón,
R. Gutiérrez and
S. Lucas
© Elsevier
Information and Computation, 208(8):922-968, 2010.
Available:
Abstract
PDF (preprint)
BibTeX
entry
S. Lucas
© Springer-Verlag
Proc. of the
10th International Conference on
Artificial Intelligence and Symbolic Computation, AISC'10
LNAI 6167:116-131, 2010.
Available:
Abstract
PDF
M. Alpuente,
S. Escobar,
B. Gramlich, and
S. Lucas
© Elsevier
Theoretical Computer Science
411(2):504-541,
2010.
Available:
Abstract
PDF
2009
S. Lucas
© Elsevier
Final Proceedings of the
9th Spanish Conference on
Programming and Computer Languages, PROLE'09
Electronic Notes in Theoretical Computer Science
258(1):41-61, 2009.
Available:
Abstract
PDF
F. Durán,
S. Lucas, and
J. Meseguer
© Springer-Verlag
Proc. of the
7th International Symposium on Frontiers of Combining Systems, FroCoS'09
LNAI 5749:246-262, Springer-Verlag, Berlin, 2009.
Available:
Abstract
PDF
B. Alarcón,
S. Lucas, and
R. Navarro-Marset
Proceedings of the
9th Spanish Conference on
Programming and Computer Languages, PROLE'09
pages 255-264, ISBN 978-84-692-4600-9, 2009.
Available:
Abstract
PDF
R. Gutiérrez and
S. Lucas
Proc. of the
Ninth Spanish Conference on Programming and Computer Languages,
PROLE 2009
pages 265-274, ISBN 978-84-692-4600-9, 2009.
Available:
Abstract
PDF
C. Borralleras,
S. Lucas,,
R. Navarro-Marset,
Enric Rodríguez-Carbonell, and
A. Rubio
© Springer-Verlag
Proc. of the
22nd International Conference on Automated Deduction, CADE'09
LNAI 5663:294-305, Springer-Verlag, Berlin, 2009.
Available:
Abstract
PDF
B. Alarcón,
S. Lucas
© Elsevier
Selected papers of the
8th Spanish Conference on
Programming and Computer Languages, PROLE'08
Electronic Notes in Theoretical Computer Science,
248:3-17, 2009.
Available:
Abstract
PDF
F. Durán,
S. Lucas, and
J. Meseguer
© Elsevier
Selected papers of the
8th Spanish Conference on
Programming and Computer Languages, PROLE'08
Electronic Notes in Theoretical Computer Science,
248
:93-113, 2009.
Available:
Abstract
PDF
F. Durán,
S. Lucas, and
J. Meseguer
© Elsevier
Selected papers of the
8th Spanish Conference on
Programming and Computer Languages, PROLE'08
Electronic Notes in Theoretical Computer Science,
248
:83-92, 2009.
Available:
Abstract
PDF
S. Lucas
and
J. Meseguer
© Elsevier
Proc. of the
7th
International Workshop on Rewriting Logic and its Applications,
WRLA'08
Electronic Notes in Theoretical Computer Science, 238(3):207-225, 2009.
Available:
Abstract
PDF
2008
B. Alarcón,
F. Emmes,
C. Fuhs,
J. Giesl,
R. Gutiérrez,
S. Lucas,
P. Schneider-Kamp, and
R. Thiemann
© Springer-Verlag
Proc. of the
15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR'08
LNAI 5330:636-651, Springer-Verlag, Berlin, 2008.
Available:
Abstract
F. Durán,
S. Lucas, and
J. Meseguer
© Springer-Verlag
Proc. of the
4th International Joint Conference on
Automated Reasoning, IJCAR'08
LNCS 5195:313-319, Springer-Verlag, Berlin, 2008.
Available:
Abstract
PDF
C. Fuhs,
R. Navarro-Marset,
C. Otto,
J. Giesl,
S. Lucas, and
P. Schneider-Kamp
© Springer-Verlag
Proc. of the
9th International Conference on
Artificial Intelligence and Symbolic Computation, AISC'08
LNAI 5144:109-124, Springer-Verlag, Berlin, 2008.
Available:
Abstract
PDF
S. Lucas
and
R. Peña
Proc. of
18th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2008
Technical Report DSIC-II/09/08, pages 43-57, 2008.
Available:
Abstract
PDF
R. Gutiérrez,
S. Lucas, and
X. Urbain
© Springer-Verlag
Proc. of the
19th International Conference on Rewriting Techniques and Applications, RTA'08
LNCS 5117:126-141, Springer-Verlag, Berlin, 2008.
Available:
Abstract
PDF
S. Lucas
and
J. Meseguer
© ACM
Proc. of the
10th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming,
PPDP'08
ACM Press, pages 108-119, 2008.
Available:
Abstract
PDF
F. Durán,
S. Lucas,
C. Marché,
J. Meseguer, and
X. Urbain
© Springer-Verlag
Higher-Order and Symbolic Computation,
21(1-2):59-88, June 2008.
Available:
Abstract
PDF (preprint)
DOI
S. Flores,
S. Lucas
and
A. Villanueva
© Elsevier
Proc. of the
3rd Int'l Workshop on Automated Specification and Verification of Web Systems
WWV'07
Electronic Notes in Theoretical Computer Science,
200(3)
:103-118, May 2008.
Available:
Abstract
PDF
S. Lucas
and
J. Meseguer
© Elsevier
Information and Computation
206(5):652-675, May 2008.
Available:
Abstract
PDF (preprint)
S. Lucas
and
R. Navarro-Marset
© Elsevier
Proc. of
7th Spanish Conference on Programming and Computer Languages,
PROLE 2007,
Electronic Notes in Theoretical Computer Science,
206:75-90, April 2008.
Available:
Abstract
PDF
2007
S. Lucas
and
R. Peña
© Thomson-Paraninfo
Proc. of
7th Spanish Conference on Programming and Computer Languages, PROLE 2007
pages 233-242, Thomson-Paraninfo, Madrid, 2007.
Available:
Abstract
PDF
B. Alarcón
and
S. Lucas
© Springer-Verlag
Proc. of the
6th International Symposium on Frontiers of Combining Systems, FroCoS'07
LNCS 4720:73-87, Springer-Verlag, Berlin, 2007.
Available:
Abstract
PDF
M. Clavel,
F. Durán,
J. Hendrix,
S. Lucas,
J. Meseguer, and
P. Olveczky
© Springer-Verlag
Proc. of
CALCO tools 2007,
LNCS 4624:173-178, Springer-Verlag, Berlin, 2007.
Available:
Abstract
PDF
S. Lucas
© ACM Press
Proc. of
9th
International Conference on Principles
and Practice of Declarative Programming, PPDP'07,
pages 39-50, ACM Press, 2007.
Available:
Abstract
PDF
B. Alarcón,
R. Gutiérrez,
S. Lucas
© Elsevier
Electronic Notes in Theoretical Computer Science,
188:91-103, 2007.
Available:
Abstract
PDF
B. Alarcón,
R. Gutiérrez,
J. Iborra, and
S. Lucas
© Elsevier
Electronic Notes in Theoretical Computer Science,
188:105-115, 2007.
Available:
Abstract
PDF
M. Alpuente,
S. Escobar,
S. Lucas
© Cambridge University Press
Theory and Practice of Logic Programming, 7(1&2):3-35, 2007.
Available:
Abstract
2006
B. Alarcón,
R. Gutiérrez, and
S. Lucas
© Springer-Verlag
Proc. of the
26th Conference on Foundations of Software Technology and Theoretical Computer Science,
FSTTCS'06
LNCS 4337:298-309, Springer-Verlag, Berlin, 2006.
Available:
Abstract
PDF
S. Lucas
© Elsevier
Information and Computation, 204(12):1782-1846, 2006.
Available:
Abstract
PDF (preprint)
B. Gramlich and
S. Lucas
© Springer-Verlag
Proc. of 17th International Conference on Rewriting Techniques and
Applications, RTA'06,
LNCS 4098:66-80, Springer-Verlag, Berlin, 2006.
Available:
Abstract
PDF
B. Alarcón and
S. Lucas
4th International Conference on .NET Technologies,
University of West-Bohemia, pages 57-66, 2006
Available:
Abstract
PDF
S. Lucas
© Elsevier
Electronic Notes in Theoretical Computer Science, 157(2):79-85, May 2006.
Available:
Abstract
PDF
© Springer-Verlag
S. Lucas
Applicable Algebra in Engineering, Communication and Computing,
17(1):49-73, April 2006.
Available:
Abstract
PDF (preprint)
2005
© Springer-Verlag
S. Lucas and
J. Meseguer
12th International Conference on Logic for Programming, Artificial
intelligence and Reasoning, LPAR'05,
LNCS 3835:184-198, Springer-Verlag, Berlin, 2005.
Available:
Abstract
PDF
B. Alarcón and
S. Lucas
ERCIM News 63:51-52, October 2005
Available:
ERCIM
News, issue 63 (PDF)
HTML.
© Thomson
M. Alpuente,
S. Escobar,
S. Lucas
Proc. of Quintas Jornadas sobre Programación y Lenguajes,
PROLE'05, pages 25-30, Thomson-Paraninfo, 2005.
Available:
Abstract
© Thomson
S. Lucas
Proc. of Quintas Jornadas sobre Programación y Lenguajes,
PROLE'05, pages 105-108, Thomson-Paraninfo, 2005.
Available:
Abstract
© Elsevier
S. Lucas (editor),
Electronic Notes in Theoretical Computer Science,
volume 137, issue 1,
July 2005.
Available:
© Elsevier
S. Lucas,
C. Marché, and
J. Meseguer
Information Processing Letters,
95(4):446-453,
August 2005.
Available:
Abstract
PDF (preprint)
S. Lucas
©
EDP Sciences
RAIRO Theoretical Informatics and Applications,
39(3):547-586, July 2005.
Available:
Abstract
PDF
B. Gramlich and
S. Lucas
(editors)
© Elsevier
Journal of Symbolic Computation
volume 40, issue 1,
Elsevier, May 2005.
Available:
Summary
M. Alpuente,
M. Hanus,
S. Lucas,
G. Vidal
© Cambridge University Press
Theory and Practice of Logic Programming,
5(3):273-303, May 2005.
Available:
Abstract
Online article (with proofs)
BibTeX
entry
S. Lucas
Proc. of 5th International Workshop on Reduction Strategies in Rewriting
and Programming, WRS'05,
pages 3-15, 2005.
Available:
Abstract
PDF
S. Lucas
© Elsevier
Electronic Notes in Theoretical Computer Science,
124(2)
:113-118, 2005.
Available:
Abstract
PDF
M. Alpuente and
S. Lucas
ERCIM News 61:48-49, April 2005
Available:
ERCIM
News, issue 61 (PDF)
HTML.
S. Lucas
Proc. of 1st International Workshop on Automated Specification and Verification of
Web Sites, WWV'05,
Technical Report DSIC-II/03/05, DSIC, Universidad Politécnica de
Valencia, pages 157-160, 2005.
Available:
Abstract
PDF
F. Durán,
S. Escobar, and
S. Lucas
© Elsevier
Electronic Notes in Theoretical Computer Science,
124(1)
:25-39, 2005.
Available:
Abstract
PDF
F. Durán,
S. Escobar, and
S. Lucas
© Elsevier
Electronic Notes in Theoretical Computer Science,
117
Available:
Abstract
PDF
2004
S. Lucas
Technical Report DSIC II/18/04 (60 pages).
Departamento de Sistemas
Informáticos y Computación, Universidad Politécnica
de Valencia, Spain, December 2004.
Available:
Abstract
PDF
S. Lucas,
E. Pimentel,
M.M. Gallardo (editors),
Universidad de Málaga, November 2004.
Available:
Proceedings
F. Durán,
S. Escobar,
S. Lucas,
Proc. of IV Jornadas sobre Programación y Lenguajes, PROLE'04,
pages 125-136, Universidad de Málaga, 2004.
Available:
Abstract
PDF
F. Durán,
S. Lucas,
J. Meseguer,
C. Marché, and
X. Urbain
© ACM Press
Proc. of ACM SIGPLAN 2004 Symposium on Partial Evaluation and
Program Manipulation, PEPM'04,
pages 147-158, ACM Press, 2004.
Available:
Abstract
PDF
S. Lucas
© Springer-Verlag
Proc. of 15th International Conference on Rewriting Techniques and
Applications, RTA'04,
LNCS 3091:200-209, Springer-Verlag, Berlin, 2004.
Available:
Abstract
PDF
PostScript
M. Alpuente and
S. Lucas
Proc. of 7th International Workshop on Termination, WST'04,
pages 6-9, Technical Report AIB-2004-07, RWTH Aachen, 2004.
Available:
Abstract
PDF
S. Lucas
Proc. of 7th International Workshop on Termination, WST'04,
pages 63-65, Technical Report AIB-2004-07, RWTH Aachen, 2004.
Available:
Abstract
PDF
S. Lucas
Proc. of 7th International Workshop on Termination, WST'04,
pages 39-42, Technical Report AIB-2004-07, RWTH Aachen, 2004.
Available:
Abstract
PDF
M. Alpuente,
S. Escobar,
S. Lucas
© Elsevier
Proc. of 4th International Workshop on Rewriting Logic and its Applications,
WRLA'02,
Electronic
Notes in Theoretical Computer Science, volume 71, May 2004.
Available:
Abstract
PDF
PostScript
.
S. Lucas
© Springer-Verlag
Proc. of 7th International Conference on
Foundations of Software Science and Computation Structures,
FOSSACS'04,
LNCS 2987:318-332, 2004.
Available:
Abstract
PDF
PostScript
BibTeX entry
B. Gramlich and
S. Lucas
Proc. of 17th Int. Workshop on Algebraic Development Techniques
WADT'04, pages 20-22, 2004.
Available:
Abstract
PDF
PostScript
BibTeX entry
F. Durán,
S. Escobar, and
S. Lucas
Proc. of 5th International Workshop on Rewriting Logic and its Applications,
WRLA'04, pages 245-265, 2004.
Available:
Abstract
PDF
BibTeX entry
S. Lucas
© Elsevier
Information Processing Letters
89(4):191-201, 2004.
Available:
Abstract
PDF
(preliminary version)
PostScript
(preliminary version)
BibTeX entry
2003
B. Gramlich and
S. Lucas
(editors)
Third International Workshop, WRS'03 - Final proceedings, Valencia,
Spain, June 8, 2003
Electronic Notes in Theoretical Computer Science, volume 86, Issue 4,
December 2003.
Available:
ENTCS vol. 86
S. Lucas
ERCIM News 55:45, October 2003
Available:
ERCIM
News, issue 55 (PDF)
HTML.
S. Lucas
Technical Report DSIC II/20/03, 47 pages.
Departamento de Sistemas Informáticos y Computación, UPV,
September 2003.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
M. Alpuente,
S. Escobar, and
S. Lucas
Proc. of 4th International Workshop on Rule-based Programming, RULE'03,
Electronic Notes in Theoretical Computer Science, volume 86.2, September
2003.
Available:
Abstract
PDF
BibTeX
entry.
M. Alpuente,
S. Escobar, and
S. Lucas
Proc. of 4th International Workshop on Rule-based Programming, RULE'03,
Electronic Notes in Theoretical Computer Science, volume 86.2, September
2003.
Available:
Abstract
PDF
BibTeX
entry.
M. Alpuente,
S. Escobar,
B. Gramlich, and
S. Lucas
Technical Report DSIC II/18/03,
Universidad Politécnica de Valencia, Spain, July 2003.
Available:
Abstract
PDF
BibTeX
entry.
S. Lucas
Extended Abstracts of 6th International Workshop on Termination, WST'03,
Technical Report DSIC II/15/03, Universidad Politécnica de Valencia,
pages 44-48, 2003.
Available:
PDF
PostScript
BibTeX
entry.
M. Alpuente,
D. Ballis,
S. Escobar,
M. Falaschi, and
S. Lucas
Proc. of the 12th International Workshop on Functional and (Constraint) Logic
Programming WFLP'03,
Technical Report DSIC II/13/03, Universidad Politécnica de Valencia,
pages 7-20, 2003.
Available:
B. Gramlich and
S. Lucas
(editors)
Third International Workshop, WRS'03,
Technical Report DSIC II/14/03, Universidad Politécnica de Valencia,
Spain, June 8, 2003
Available:
WRS'03 proceedings
M. Alpuente,
M. Comini,
S. Escobar,
M. Falaschi, and
S. Lucas
© Springer-Verlag
Selected papers of the International Workshop on
Logic Based Program Development and Transformation, LOPSTR'02,
LNCS 2664:1-16, 2003.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
S. Lucas
Technical Report DSIC II/8/03, 41 pages.
Departamento de Sistemas Informáticos y Computación, UPV,
April 2003.
Available:
Abstract
PDF
PostScript
2002
B. Gramlich and
S. Lucas
(editors)
Second International Workshop, WRS'02 - Final proceedings, Copenhagen,
Danemark, July 25, 2002
Electronic Notes in Theoretical Computer Science, volume 70, Issue 6,
December 2002.
Available:
ENTCS vol. 70
M. Alpuente,
R. Echahed,
S. Escobar,
S. Lucas
© Elsevier
Proc. of 11th International Workshop on Functional and (Constraint) Logic
Programming WFLP'02 (selected papers),
Electronic
Notes in Theoretical Computer Science, volume 76, 2002.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
S. Antoy,
S. Lucas
© Elsevier
Proc. of 11th International Workshop on Functional and (Constraint) Logic
Programming WFLP'02 (selected papers),
Electronic
Notes in Theoretical Computer Science, volume 76, 2002.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
S. Lucas
© Academic Press
Information and Computation,
178(1):294-343, 2002.
Available:
Abstract
PDF (preprint)
PostScript (preprint)
BibTeX
entry
M. Alpuente,
S. Escobar,
B. Gramlich, and
S. Lucas
© Springer-Verlag
Proc. of 9th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, LPAR'02,
LNAI 2514:1-18, Springer-Verlag, Berlin, 2002.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
M. Alpuente,
S. Escobar, and
S. Lucas
Proc. of 3rd International Workshop on the
Implementation of Logics.
pages 47-52, Tbilisi, Georgia, October 2002.
Available:
Abstract
B. Gramlich and
S. Lucas
© ACM Press
Proc. of 4th International Conference on Principles
and Practice of Declarative Programming, PPDP'02,
pages 50-61, ACM Press 2002.
Available:
Abstract
PDF
PostScript
Slides
BibTeX
entry.
B. Gramlich and
S. Lucas
© ACM Press
Proc. of 3rd ACM Sigplan Workshop on Rule-based Programming, RULE'02,
pages 29-41, ACM Press, 2002.
Available:
Abstract
PDF
PostScript
Slides
BibTeX
entry.
S. Lucas
© Elsevier
International Workshop on Functional and (Constraint) Logic Programming,
WFLP 2001 (selected papers)
Electronic
Notes in Theoretical Computer Science, volume 64, 2002.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
M. Alpuente,
M. Comini,
S. Escobar,
M. Falaschi, and
S. Lucas
Preproceedings of the International Workshop on
Logic Based Program Development and Transformation, LOPSTR'02,
pages 1-9, Servicio de Publicaciones de la Facultad de Informática de
Madrid, 2002.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
M. Alpuente,
S. Escobar, and
S. Lucas
Proc. of 14th International Workshop on the Implementation of Functional
Languages, IFL'02,
pages 409-424, Technical Report 127-02, Departamento de Sistemas
Informáticos y Programación, Universidad Complutense de Madrid, 2002.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
M. Alpuente,
S. Escobar,
S. Lucas
© Springer-Verlag
Proc. of 9th International Conference on Algebraic Methodology And
Software Technology, AMAST'02,
LNCS 2422:117-131, Springer-Verlag, Berlin, 2002.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
C. Borralleras,
S. Lucas, and
A. Rubio
© Springer-Verlag
Proc. of 18th International Conference on Automated Deduction, CADE'02,
LNAI 2392:314-331, Springer-Verlag, Berlin, 2002.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
S. Lucas
© Springer-Verlag
Proc. of 13th International Conference on Rewriting Techniques and
Applications, RTA'02,
LNCS 2378:296-310, Springer-Verlag, Berlin, 2002.
Available:
Abstract
PostScript
BibTe
entry
Slides
B. Gramlich and
S. Lucas
(editors)
Proc. of the Second International Workshop, WRS 2002, Copenhagen,
Denmark, July 21, 2002
Technical Report E1852-2002-02, Institut of Computer Languages, Vienna
University of Technology, Verlag Berger, July 2002.
Available:
M. Alpuente,
S. Escobar,
S. Lucas
Technical Report DSIC II/9/02, 19 pages.
Departamento de Sistemas Informáticos y Computación, UPV,
June 2002.
Available:
Abstract
PDF
PostScript
BibTeX
entry.
S. Lucas
Technical Report DSIC-II/1/02, 17 pages,
Departamento de Sistemas Informáticos y Computación, UPV, 2002.
Available:
PostScript
2001
B. Gramlich and
S. Lucas
(editors)
Selected papers of the First International Workshop, WRS'01, Utrecht, The
Netherlands, May 26, 2001
Electronic Notes in Theoretical Computer Science, volume 57, November 2001.
Available:
ENTCS vol. 57
S. Lucas
© Springer-Verlag
Proc. of 8th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, LPAR'01
LNAI 2250:666-680, Springer-Verlag, Berlin, 2001.
Available:
Abstract
PostScript
BibTeX
entry.
S. Lucas
Proc. of Primeras Jornadas sobre Programación y Lenguajes, PROLE'01
Universidad de Castilla-La Mancha, 2001.
Available:
Abstract
PostScript
BibTeX
entry.
S. Lucas
Proc. of International Workshop on Functional and (Constraint) Logic
Programming, WFLP'01,
pages 197-210, Report No. 2017, Christian-Albrechts-Universitaet zu Kiel, 2001.
Available:
Abstract
PostScript
BibTeX
entry.
S. Lucas
© ACM Press
Proc. of 3rd International Conference on Principles
and Practice of Declarative Programming, PPDP'01,
pages 82-93, ACM Press, 2001.
Available:
Abstract
PostScript
BibTeX
entry.
S. Lucas
Proc. of 2nd International Workshop on Rule-Based Programming, RULE'01,
pages 64-78, 2001.
Available:
Abstract
PostScript
BibTeX
entry.
M. Hanus,
S. Lucas
Journal of Functional and Logic Programming, 2001(2):1-43, July 2001.
Available:
Abstract
PostScript
PDF
BibTeX
entry.
B. Gramlich and
S. Lucas
(editors)
Proc. of the First International Workshop, WRS'01, Utrecht, The
Netherlands, May 26, 2001
SPUPV 2001.2359, Universidad Politécnica de Valencia, 2001.
Available:
Cover
Preface
Contents
Electronic
Proceedings.
S. Lucas
© Springer-Verlag
Proc. of 12th International Conference on Rewriting Techniques and
Applications, RTA'01,
LNCS 2051:216-230, Springer-Verlag, Berlin, 2001.
Available:
Abstract
PostScript
BibTeX
entry.
S. Lucas
Extended Abstracts of 5th International Workshop on Termination, WST'01,
Logic Group Preprint Series 209:31-32, 2001.
Available:
PostScript
BibTeX
entry.
S. Lucas
Extended Abstracts of 5th International Workshop on Termination, WST'01,
Logic Group Preprint Series 209:29-30, 2001.
Available:
PostScript
BibTeX
entry.
2000
M. Alpuente,
S. Escobar, and
S.
Lucas
9th International Workshop on Functional and Logic Programming,
WFLP'2000,
pages 309-323, Universidad Politécnica de Valencia, Editorial U.P.V.,
Ref 2000-2039, 2000.
Available:
PostScript
S.
Lucas
9th International Workshop on Functional and Logic Programming,
WFLP'2000,
pages 340-343, Universidad Politécnica de Valencia, Editorial U.P.V.,
Ref 2000-2039, 2000.
Available:
PostScript
S.
Lucas
9th International Workshop on Functional and Logic Programming,
WFLP'2000,
pages 253-267, Universidad Politécnica de Valencia, Editorial U.P.V.,
Ref 2000-2039, 2000.
Available:
PostScript
S.
Lucas
Technical Report DSIC-II/7/00, 56 pages,
Departamento de Sistemas Informáticos y Computación, UPV, 2000.
Available:
Abstract
PostScript
BibTeX
entry
S. Lucas
Technical Report LIX/RR/00/02, 24 pages,
Laboratoire d'Informatique (LIX), École Polytechnique, Palaiseau,
France, 2000.
Available:
Abstract
PostScript
BibTeX
entry
M. Hanus,
S. Lucas
Technical Report 2000, 32 pages,
Christian Albrecht Universitat Kiel, 2000.
Available:
Abstract
PostScript
BibTeX
entry.
M. Alpuente,
S. Escobar,
S. Lucas
© Springer-Verlag
26th. Seminar on Current Trends in Theory and Practice of Informatics,
SOFSEM'99,
LNCS 1725:331-339, Springer-Verlag, Berlin, 1999.
Available:
Abstract
PostScript
BibTeX
entry.
M. Hanus,
S. Lucas
© Springer-Verlag
4th Fuji International Symposium on Functional and Logic Programming,
FLOPS'99,
LNCS 1722:353-368, Springer-Verlag, Berlin, 1999.
Available: Extended version in [TR'2000],
[JFLP2001].
M. Alpuente,
M. Hanus,
S. Lucas,
G. Vidal
ACM Sigplan Notices, 34(9):273-283, 1999.
Available:
Abstract
PostScript
BibTeX
entry
M. Alpuente,
S. Escobar,
S. Lucas
International Workshop on Implementation of Declarative Languages,
IDL'99,
pages 109-125, INRIA, France, 1999.
Available:
Abstract
PostScript
HTML
BibTeX
entry.
S.
Lucas
Bulletin of the European Association for Theoretical Computer
Science, 67:274-277, 1999.
Available:
Paper
BibTeX
entry
S. Lucas
Technical Report DSIC-II/5/99, 42 pages, 1999. (short version in
[AGP'97].)
Available:
Abstract
PostScript
BibTeX
entry
S.
Lucas
Ph.D. Thesis (In spanish).
Departamento de Sistemas Informáticos y Computación,
Universidad Politécnica de Valencia, Oct 1998.
Available:
Abstract
PostScript
BibTeX
entry
S.
Lucas
Information Processing Letters,
67(5):245-254, 1998.
Available:
Abstract
PostScript
(preliminary version)
BibTeX
entry
M. Hanus,
S. Lucas,
A. Middeldorp
Information Processing Letters,
67(1):1-8, 1998.
Available:
Abstract
PostScript
(preliminary version)
BibTeX
entry
S.
Lucas
Journal of Functional and Logic Programming, 1998(1):1-61, January
1998.
Available:
Abstract
Paper
BibTeX
entry
Efficient Strong Sequentiality Using Replacement
Restrictions
S. Lucas
24th. Seminar on Current Trends in Theory and Practice of Informatics,
SOFSEM'97,
LNCS 1338:489-496, Springer-Verlag, Berlin, 1997.
Available:
Abstract
PostScript
BibTeX
entry.
S.
Lucas
6th International Conference on Algebraic and Logic
Programming, ALP'97,
LNCS 1298:129-143, Springer-Verlag, Berlin,
1997.
Available:
Abstract
PostScript
BibTeX
entry.
S.
Lucas
9th International Symposium on Programming Languages,
Implementations, Logics and Programs, PLILP'97,
LNCS 1292:127-141, Springer-Verlag, Berlin, 1997.
Available:
Abstract
PostScript
BibTeX
entry.
S. Lucas
1997 Joint Conference on Declarative Programming,
APPIA-GULP-PRODE'97,
pag. 393-404, Università di Udine, 1997
Available: Extended version in [TR'99]
A New Proposal of Concurrent Process Calculus
S. Lucas and
J. Oliver
23rd. Seminar on Current Trends in Theory and Practice of Informatics,
SOFSEM'96,
LNCS 1175:385-392, Springer-Verlag, Berlin, 1996.
Available:
Abstract
PostScript
BibTeX
entry.
S. Lucas
5th Compulog-Network Area Meeting on Language Design and Semantic
Analysis Methods
Università degli Studi, Pisa, 1996
Available: See [JFLP'98].
S.
Lucas
8th International Symposium on Programming Languages, Implementations,
Logics and Programs, PLILP'96,
LNCS 1140:408-422, Springer-Verlag, Berlin, 1996.
(See an extended and revised version in
[JFLP'98].)
Available:
Abstract
PostScript
BibTeX
entry.
M. Hanus and
S. Lucas
1996 Joint Conference on Declarative Programming,
APPIA-GULP-PRODE'96,
pag. 259-270, Universidad del País Vasco, 1996
Available:
Abstract
BibTeX-Entry
S. Lucas
23rd International Colloquium on Automata, Languages and Programming,
ICALP'96,
LNCS 1099:122-133, Springer-Verlag, Berlin, 1996.
Available:
Abstract
PostScript
BibTeX
entry.
M. Hanus and
S. Lucas
5th International Workshop on Functional and Logic Programming,
pag. VII.1-VII.11, Philipps-Universitat Marburg, 1996
Fundamentals of context-sensitive rewriting
S. Lucas
22nd. Seminar on Current Trends in Theory and Practice of Informatics,
SOFSEM'95,
LNCS 1012:405-412, Springer-Verlag, Berlin, 1995.
Available:
Abstract
PostScript
BibTeX
entry.
S.
Lucas
1995 Joint Conference on Declarative Programming, GULP-PRODE'95,
pag. 435-446, Università di Salerno, 1995.
El Lambda Calculo Etiquetado Paralelo (LCEP)
S. Lucas and
J.
Oliver
1994 Joint Conference on Declarative Programming, GULP-PRODE'94,
pag. 125-139, Universidad Politécnica de Valencia, 1994.
Available:
Abstract
PostScript
BibTeX
entry.