Monografie
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
- Language
-
Englisch
- Extent
-
X, 243 S.
- ISBN
-
978-3-642-38196-6
- Identifier
-
1033487619
- Series
-
Lecture notes in computer science; 7844
Subject
Logische Programmierung ; Programmsynthese ; Programmtransformation ; Programmverifikation ; Formale Methode ; Konferenzschrift Löwen; Kongress Löwen <2012>
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
15.04.2024, 8:51 AM CEST
Object type
- Monografie
Associated
Other Objects (12)
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
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
Inductive logic programming : 19th international conference ; revised 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 : 21st international symposium ; revised selected papers
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
Inductive logic programming : 19th international conference ; revised 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 : 21st international symposium ; revised selected papers
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
Inductive logic programming : 19th international conference ; revised 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