http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=BalarconTermination-Portal.org - User contributions [en]2026-04-16T19:10:27ZUser contributionsMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Bibtex:DLMMU08&diff=873Bibtex:DLMMU082009-06-16T15:42:50Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@article{DBLP:journals/lisp/DuranLMMU08,<br />
author = {F. Dur&aacute;n and<br />
S. Lucas and<br />
C. March&eacute; and<br />
J. Meseguer and<br />
X. Urbain},<br />
title = {Proving operational termination of membership equational<br />
programs},<br />
journal = {Higher-Order and Symbolic Computation},<br />
volume = {21},<br />
number = {1-2},<br />
year = {2008},<br />
pages = {59-88},<br />
<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:DLM08&diff=872Bibtex:DLM082009-06-16T15:39:01Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{DBLP:conf/cade/DuranLM08,<br />
author = {F. Dur&aacute;n and<br />
S. Lucas and<br />
J. Meseguer},<br />
title = {MTT: The Maude Termination Tool (System Description)},<br />
booktitle = {Automated Reasoning, 4th International Joint Conference, IJCAR'08},<br />
year = {2008},<br />
pages = {313-319},<br />
publisher = {Springer},<br />
series = {Lecture Notes in Computer Science},<br />
editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},<br />
<br />
<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:DLMMU04&diff=871Bibtex:DLMMU042009-06-16T15:35:03Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{DBLP:conf/pepm/DuranLMMU04,<br />
author = {F. Dur&aacute;n and<br />
S. Lucas and<br />
J. Meseguer and<br />
C. March&eacute; and<br />
X. Urbain},<br />
title = {Proving termination of membership equational programs},<br />
booktitle = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial<br />
Evaluation and Semantics-based Program Manipulation, PEPM'04},<br />
year = {2004},<br />
pages = {147-158},<br />
editor = {Nevin Heintze and Peter Sestoft}<br />
<br />
}<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:LM08&diff=870Bibtex:LM082009-06-16T15:31:51Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{DBLP:conf/ppdp/LucasM08,<br />
author = {S. Lucas and<br />
J. Meseguer},<br />
title = {Order-sorted dependency pairs},<br />
booktitle = {Proceedings of the 10th International ACM SIGPLAN Conference<br />
on Principles and Practice of Declarative Programming, PPDP'08},<br />
year = {2008},<br />
pages = {108-119},<br />
address= {Valencia, Spain},<br />
editor = {Sergio Antoy and Elvira Albert}<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Luc06&diff=869Bibtex:Luc062009-06-16T15:28:28Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@article{Lucas06,<br />
author = {Salvador Lucas},<br />
title = {On the relative power of polynomials with real, rational,<br />
and integer coefficients in proofs of termination of rewriting},<br />
journal = {Applicable Algebra in Engineering, Communication and Computing,},<br />
volume = {17},<br />
number = {1},<br />
year = {2006},<br />
pages = {49-73},<br />
<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Luc07&diff=868Bibtex:Luc072009-06-16T15:10:58Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{Lucas07,<br />
author = {Salvador Lucas},<br />
title = {Practical use of polynomials over the reals in proofs of termination},<br />
booktitle = {9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'07},<br />
year = {2007},<br />
pages = {39-50},<br />
publisher = {ACM},<br />
address = {Wroclaw, Poland},<br />
isbn = {978-1-59593-769-8}<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Luc07&diff=867Bibtex:Luc072009-06-16T15:08:49Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{DBLP:conf/ppdp/Lucas07,<br />
author = {Salvador Lucas},<br />
title = {Practical use of polynomials over the reals in proofs of termination},<br />
booktitle = {9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'07},<br />
year = {2007},<br />
pages = {39-50},<br />
publisher = {ACM},<br />
address = {Wroclaw, Poland},<br />
isbn = {978-1-59593-769-8}<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Luc07&diff=866Bibtex:Luc072009-06-16T15:07:55Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{DBLP:conf/ppdp/Lucas07,<br />
author = {Salvador Lucas},<br />
title = {Practical use of polynomials over the reals in proofs of<br />
termination},<br />
booktitle = {Proceedings of the 9th International ACM SIGPLAN Conference<br />
on Principles and Practice of Declarative Programming, PPDP'07},<br />
year = {2007},<br />
pages = {39-50},<br />
publisher = {ACM},<br />
address = {Wroclaw, Poland},<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AL07&diff=865Bibtex:AL072009-06-16T15:05:37Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{AL07,<br />
author = {B. Alarc&oacute;n and<br />
S. Lucas},<br />
title = {Termination of Innermost Context-Sensitive Rewriting Using<br />
Dependency Pairs},<br />
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCos'07},<br />
year = {2007},<br />
pages = {73-87},<br />
address = {Liverpool, UK},<br />
publisher = {Springer},<br />
series = {Lecture Notes in Computer Science},<br />
volume = {4720},<br />
<br />
<br />
}<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:GLU08&diff=864Bibtex:GLU082009-06-16T15:04:26Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{GLU08,<br />
author = {R. Guti&eacute;rrez, S. Lucas and X. Urbain},<br />
title = {Usable Rules for Context-Sensitive Rewrite Systems},<br />
booktitle = {Rewriting Techniques and Applications, 19th International<br />
Conference, RTA'08},<br />
editor = {Andrei Voronkov},<br />
address = { Hagenberg, Austria},<br />
year = {2008},<br />
pages = {126-141},<br />
<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:FNOGLS08&diff=863Bibtex:FNOGLS082009-06-16T15:03:47Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{FNOGLS08,<br />
author = {C. Fuhs, R. Navarro-Marset, C. Otto, J. Giesl, S. Lucas and P. Schneider-Kamp},<br />
title = {Search Techniques for Rational Polynomial Orders},<br />
booktitle = {AISC/MKM/Calculemus},<br />
year = {2008},<br />
pages = {109-124},<br />
editor = {S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki and F. Wiedijk},<br />
address = {Birmingham, UK },<br />
}<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AL07&diff=862Bibtex:AL072009-06-16T15:01:25Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{AL07,<br />
author = {B. Alarc&oacute;n and<br />
S. Lucas},<br />
title = {Termination of Innermost Context-Sensitive Rewriting Using<br />
Dependency Pairs},<br />
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCos'07},<br />
year = {2007},<br />
pages = {73-87},<br />
address = {Liverpool, UK},<br />
<br />
<br />
}<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AGL07&diff=861Bibtex:AGL072009-06-16T14:56:01Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@article{AGL07,<br />
author = {B. Alarc&oacute;n,<br />
R. Guti&eacute;rrez and<br />
S. Lucas},<br />
title = {Improving the Context-sensitive Dependency Graph},<br />
journal = {Electronic Notes in Theoretical Computer Science},<br />
volume = {188},<br />
year = {2007},<br />
pages = {91-103},<br />
}<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AGL07&diff=860Bibtex:AGL072009-06-16T14:55:22Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@article{AGL07,<br />
author = {B. Alarc&oacute;n,<br />
R. Guti&eacute;rrez and<br />
S. Lucas},<br />
title = {Improving the Context-sensitive Dependency Graph},<br />
journal = {Electr. Notes Theor. Comput. Sci.},<br />
volume = {188},<br />
year = {2007},<br />
pages = {91-103},<br />
}<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:FNOGLS08&diff=859Bibtex:FNOGLS082009-06-16T14:53:18Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{FNOGLS08,<br />
author = {C. Fuhs,<br />
R. Navarro-Marset,<br />
C. Otto,<br />
J. Giesl,<br />
S, Lucas and<br />
P, Schneider-Kamp},<br />
title = {Search Techniques for Rational Polynomial Orders},<br />
booktitle = {AISC/MKM/Calculemus},<br />
year = {2008},<br />
pages = {109-124},<br />
editor = {Serge Autexier and<br />
John Campbell and<br />
Julio Rubio and<br />
Volker Sorge and<br />
Masakazu Suzuki and<br />
Freek Wiedijk},<br />
address = {Birmingham, UK }<br />
}<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:FNOGLS08&diff=858Bibtex:FNOGLS082009-06-16T14:52:59Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{FNOGLS08,<br />
author = {C. Fuhs,<br />
R. Navarro-Marset,<br />
C. Otto,<br />
J. Giesl,<br />
S, Lucas and<br />
P, Schneider-Kamp},<br />
title = {Search Techniques for Rational Polynomial Orders},<br />
booktitle = {AISC/MKM/Calculemus},<br />
year = {2008},<br />
pages = {109-124},<br />
editor = {Serge Autexier and<br />
John Campbell and<br />
Julio Rubio and<br />
Volker Sorge and<br />
Masakazu Suzuki and<br />
Freek Wiedijk},<br />
address = {Birmingham, UK}<br />
}<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:GLU08&diff=857Bibtex:GLU082009-06-16T14:50:34Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{GLU08,<br />
author = {R. Guti&eacute;rrez and<br />
S. Lucas and<br />
X. Urbain},<br />
title = {Usable Rules for Context-Sensitive Rewrite Systems},<br />
booktitle = {Rewriting Techniques and Applications, 19th International<br />
Conference, RTA'08},<br />
editor = {Andrei Voronkov},<br />
address = { Hagenberg, Austria},<br />
year = {2008},<br />
pages = {126-141},<br />
<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:GLU08&diff=856Bibtex:GLU082009-06-16T14:48:21Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{DBLP:conf/rta/GutierrezLU08,<br />
author = {R. Guti&eacute;rrez and<br />
S. Lucas and<br />
X. Urbain},<br />
title = {Usable Rules for Context-Sensitive Rewrite Systems},<br />
booktitle = {Rewriting Techniques and Applications, 19th International<br />
Conference, RTA'08},<br />
editor = {Andrei Voronkov},<br />
address = { Hagenberg, Austria},<br />
year = {2008},<br />
pages = {126-141},<br />
<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:GLU08&diff=855Bibtex:GLU082009-06-16T14:47:41Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{DBLP:conf/rta/GutierrezLU08,<br />
author = {Ra{\'u}l Guti{\'e}rrez and<br />
Salvador Lucas and<br />
Xavier Urbain},<br />
title = {Usable Rules for Context-Sensitive Rewrite Systems},<br />
booktitle = {Rewriting Techniques and Applications, 19th International<br />
Conference, RTA'08},<br />
editor = {Andrei Voronkov},<br />
address = { Hagenberg, Austria},<br />
year = {2008},<br />
pages = {126-141},<br />
<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AGL06&diff=854Bibtex:AGL062009-06-16T14:45:06Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{AGL06,<br />
author = "B. Alarc&oacute;n,<br />
R. Guti&eacute;rrez and<br />
S. Lucas",<br />
title = "Context-Sensitive Dependency Pairs",<br />
booktitle = "26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 ",<br />
pages = "297-308",<br />
editor = {S. Arun-Kumar and<br />
Naveen Garg}<br />
publisher = "Springer-Verlag"<br />
address = "Kolkata,India",<br />
year = "2006",<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AGL06&diff=853Bibtex:AGL062009-06-16T14:44:22Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{AGL06,<br />
author = "B. Alarc&oacute;n,<br />
R. Guti&eacute;rrez and<br />
S. Lucas",<br />
title = "Context-Sensitive Dependency Pairs",<br />
booktitle = "26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 ",<br />
pages = "297-308",<br />
editor = {S. Arun-Kumar and<br />
Naveen Garg}<br />
publisher = "Springer-Verlag"<br />
address = "Kolkata,<br />
India",<br />
year = "2006",<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AGL06&diff=852Bibtex:AGL062009-06-16T14:43:40Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{AGL06,<br />
author = "B. Alarc&oacute;n,<br />
R. Guti&eacute;rrez and<br />
S. Lucas",<br />
title = "Context-Sensitive Dependency Pairs",<br />
booktitle = "26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 ",<br />
pages = "297-308",<br />
editor = {S. Arun-Kumar and<br />
Naveen Garg}<br />
publisher = "Springer-Verlag"<br />
address = "Berlin",<br />
year = "2006",<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AGL06&diff=851Bibtex:AGL062009-06-16T14:42:10Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{AGL06,<br />
author = "B. Alarc&oacute;n,<br />
R. Guti&eacute;rrez and<br />
S. Lucas",<br />
title = "Context-Sensitive Dependency Pairs",<br />
booktitle = "26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 ",<br />
pages = "297-308",<br />
publisher = "Springer-Verlag"<br />
address = "Berlin",<br />
year = "2006",<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AGL06&diff=850Bibtex:AGL062009-06-16T14:41:42Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{AGL06,<br />
author = "B. Alarc&oacute;on,<br />
R. Guti\'errez and<br />
S. Lucas",<br />
title = "Context-Sensitive Dependency Pairs",<br />
booktitle = "26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 ",<br />
pages = "297-308",<br />
publisher = "Springer-Verlag"<br />
address = "Berlin",<br />
year = "2006",<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AGL06&diff=849Bibtex:AGL062009-06-16T14:38:17Z<p>Balarcon: /* BibTex */</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{AGL06,<br />
author = "Beatriz Alarc\'on,<br />
Ra\'ul Guti\'errez and<br />
Salvador Lucas",<br />
title = "Context-Sensitive Dependency Pairs",<br />
booktitle = "26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 ",<br />
pages = "297-308",<br />
publisher = "Springer-Verlag"<br />
address = "Berlin",<br />
year = "2006",<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:AGL06&diff=848Bibtex:AGL062009-06-16T14:37:49Z<p>Balarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{AGL06,<br />
author = "Beatriz Alarc{\'o}n,<br />
Ra{\'u}l Guti{\'e}rrez and<br />
Salvador Lucas",<br />
title = "Context-Sensitive Dependency Pairs",<br />
booktitle = "26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06 ",<br />
pages = "297-308",<br />
publisher = "Springer-Verlag"<br />
address = "Berlin",<br />
year = "2006",<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=People:Ra%C3%BAl_Guti%C3%A9rrez&diff=403People:Raúl Gutiérrez2008-04-28T13:45:20Z<p>Balarcon: </p>
<hr />
<div><!--<br />
Please fill in the data so that you can be added to some default<br />
categories and a simple user page can be created. You may extend<br />
that user page yourself after the following code block.<br />
--><br />
<br />
{{Person<br />
|firstname=Raúl<br />
|middlenames=<br />
|lastname=Gutiérrez<br />
|titles=<br />
|email=rgutierrez@dsic.upv.es<br />
|homepage=http://www.dsic.upv.es/~rgutierrez/<br />
|country=Spain<br />
|university=Universidad Politécnica de Valencia<br />
|department=Sistemas Informáticos y Computación<br />
|role=PhD. Student<br />
}}<br />
<br />
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=People:Beatriz_Alarc%C3%B3n&diff=402People:Beatriz Alarcón2008-04-28T13:44:48Z<p>Balarcon: </p>
<hr />
<div><!--<br />
Please fill in the data so that you can be added to some default<br />
categories and a simple user page can be created. You may extend<br />
that user page yourself after the following code block.<br />
--><br />
<br />
{{Person<br />
|firstname= Beatriz<br />
|middlenames=<br />
|lastname= Alarcón<br />
|titles=<br />
|email= balarcon@dsic.upv.es<br />
|homepage= http://www.dsic.upv.es/~balarcon<br />
|country= Spain<br />
|university= Universidad Politécnica de Valencia<br />
|department= Information Systems and Computation <br />
|role= PhD. Student in Computer Science<br />
<!-- role: Student, Professor, PhD Student, ... --><br />
}}<br />
<br />
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --></div>Balarconhttp://termination-portal.org/mediawiki/index.php?title=People:Beatriz_Alarc%C3%B3n&diff=401People:Beatriz Alarcón2008-04-28T13:34:25Z<p>Balarcon: New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...</p>
<hr />
<div><!--<br />
Please fill in the data so that you can be added to some default<br />
categories and a simple user page can be created. You may extend<br />
that user page yourself after the following code block.<br />
--><br />
<br />
{{Person<br />
|firstname= Beatriz<br />
|middlenames=<br />
|lastname= Alarcón<br />
|titles=<br />
|email= balarcon@dsic.upv.es<br />
|homepage= http://www.dsic.upv.es/~balarcon<br />
|country= Spain<br />
|university= Technical University of Valencia<br />
|department= Information Systems and Computation <br />
|role= PhD. Student in Computer Science<br />
<!-- role: Student, Professor, PhD Student, ... --><br />
}}<br />
<br />
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --></div>Balarcon