Publications

AuthID
P-000-K3V

Author(s)

Editor(s)

Bruynooghe, M

Document Type

Article

Year published

2003

Published

in LOGIC BASED PROGRAM SYNTHESIS AND TRNSFORMATION in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 3018, Pages: 160-175 (16)

Conference

13Th International Symposium on Logic Based Program Synthesis and Transformation, Date: AUG 25-27, 2003, Location: Uppsala, SWEDEN

Indexing

Wos^®

Scopus^®

Crossref^®1

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-540-25938-1_14

Dblp: conf/lopstr/AlvesF03

Scopus: 2-s2.0-33645251909

Wos: WOS:000222825600014

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