Publications

Please sign in.

AuthID
P-008-6VV

Author(s)

Bianchini, R

Editor(s)

Lloyd,J;Dahl,V;Furbach,U;Kerber,M;Lau,KK;Palamidessi,C;Pereira,LM;Sagiv,Y;Stuckey,PJ

Document Type

Proceedings Paper

Year published

2000

Published

in COMPUTATIONAL LOGIC - CL 2000, ISSN: 0302-9743

Volume: 1861, Pages: 1285-1299 (15)

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/3-540-44957-4_86

Dblp: conf/cl/DutraCB00

Scopus: 2-s2.0-84867796901

Wos: WOS:000165607800086

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links