Monografie
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
- Language
-
Englisch
- Extent
-
X, 252 S.
- ISBN
-
978-3-642-32210-5
- Identifier
-
1023815788
- Series
-
Lecture notes in computer science; 7225
Subject
Logische Programmierung ; Programmsynthese ; Programmtransformation ; Programmverifikation ; Formale Methode ; Konferenzschrift Odense; Kongress Odense <2011>
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
15.04.2024, 8:54 AM CEST
Object type
- Monografie
Associated
Other Objects (12)
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Functional and constraint logic programming : 20th international workshop ; proceedings
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers
Declarative agent languages and technologies VI : 6th international workshop ; revised selected and invited papers
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
Functional and constraint logic programming : 18th international workshop ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Functional and constraint logic programming : 20th international workshop ; proceedings
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers
Declarative agent languages and technologies VI : 6th international workshop ; revised selected and invited papers
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
Functional and constraint logic programming : 18th international workshop ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Functional and constraint logic programming : 20th international workshop ; proceedings
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers
Declarative agent languages and technologies VI : 6th international workshop ; revised selected and invited papers
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers