Event Beta

Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Name: Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Start: 2017-10-10
End: 2017-10-12
Location: Namur

LOPSTR

Date: 2017-10-10/12
Place: Namur, Belgium on the map
Series: International Symposium on Logic-Based Program Synthesis and Transformation
Edition: 27
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e11h02p

Proceedings

Title	DOI	Year	Record
Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers Lecture Notes in Computer Science 10855	10.1007/978-3-319-94460-9	2018	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/lopstr2017` · page
dblp	`https://dblp.org/db/conf/lopstr/lopstr2017`

Cite

Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. confref identifier e11h02p. https://id.confref.org/event/e11h02p

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.