Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Lazy Constraint Imposing for Improving the Path Constraint
2009
ViegasAzevedo2009a
-
In proceedings
Ruben Duarte Viegas, Francisco Azevedo
Andrea Corradini
Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009)
-
Università di Pisa
-
-
113-124
-
-
-
-
Publication files
- click here to download - pdf 197 KB
Export formats
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.
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=f2e3c01c6ab537867b7297569379dfba_amp_cscd=81e0ee8f9ef109fe7f7a743548503b13" class="author">Ruben Duarte Viegas</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98_amp_cscd=81e0ee8f9ef109fe7f7a743548503b13" 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.
@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
http://centria.di.fct.unl.pt/publications/view.php?code=1e4e569e044f86693e9365b4304101f9
http://centria.di.fct.unl.pt/publications/view.php?code=ViegasAzevedo2009a
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento