Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Lazy Constraint Imposing for Improving the Path Constraint
Publication date:
2009
Citation:
ViegasAzevedo2009a
Abstract:
-
In proceedings
Authors:
Ruben Duarte Viegas
,
Francisco Azevedo
Editors:
Andrea Corradini
Book title:
Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009)
Series:
-
Publisher:
Università di Pisa
Address:
-
Volume:
-
Pages:
113-124
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Publication files
File #1:
- click here to download -
pdf 197 KB
Export formats
Plain text:
Ruben Duarte Viegas and Francisco Azevedo, Lazy Constraint Imposing for Improving the Path Constraint, in: Andrea Corradini (eds), Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009), Università di Pisa, Pag. 113-124, 2009.
HTML:
<a href="/people/members/view.php?code=f2e3c01c6ab537867b7297569379dfba" class="author">Ruben Duarte Viegas</a> and <a href="/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98" class="author">Francisco Azevedo</a>, <b>Lazy Constraint Imposing for Improving the Path Constraint</b>, in: Andrea Corradini (eds), <u>Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009)</u>, Università di Pisa, Pag. 113-124, 2009.
BibTeX:
@inproceedings {ViegasAzevedo2009a, author = {Ruben Duarte Viegas and Francisco Azevedo}, editor = {Andrea Corradini}, title = {Lazy Constraint Imposing for Improving the Path Constraint}, booktitle = {Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009)}, publisher = {Universit\`a di Pisa}, pages = {113-124}, year = {2009}, }
Publication's urls
Full url:
/publications/view.php?code=1e4e569e044f86693e9365b4304101f9
Friendly url:
/publications/view.php?code=ViegasAzevedo2009a
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541