Publicações

AuthID
P-000-K3V

Author(s)

Editor(es)

Bruynooghe, M

Tipo de Documento

Article

Year published

2003

Publicado

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

Volume: 3018, Páginas: 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

Lista Marked

Info

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

Links Úteis