Konferenzschrift | Kongress
Unifying theories of programming : 4th international symposium ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642357046
3642357040
- Dimensions
-
24 cm
- Extent
-
247 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7681
- Keyword
-
Programmierung
Unifikationstheorie
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2013
- Contributor
-
Wolff, Burkhart
Gaudel, Marie-Claude
Feliachi, Abderrahmane
UTP (4 : 2012 : Paris)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:43 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Wolff, Burkhart
- Gaudel, Marie-Claude
- Feliachi, Abderrahmane
- UTP (4 : 2012 : Paris)
- Springer
Time of origin
- 2013
Other Objects (12)
Unifying theories of programming : second international symposium ; revised selected papers
Unifying theories of programming : third international symposium ; proceedings
Algebraic foundations of the unifying theories of programming
Unifying theories of programming and formal engineering methods : advanced lectures
Advanced functional programming : 4th international School ; revised lectures
Central European Functional Programming School : 4th summer school ; revised selected papers
Programming multi-agent systems : 4th international workshop ; revised and invited papers
Flavour symmetries in Pati-Salam Grand Unifying Theories
First order programming theories
A unifying logical framework for integer linear programming and finite domain constraint programming
Genetic programming : 4th European conference ; proceedings
Reversible computation : 4th international workshop ; revised papers
Unifying theories of programming : second international symposium ; revised selected papers
Unifying theories of programming : third international symposium ; proceedings
Algebraic foundations of the unifying theories of programming
Unifying theories of programming and formal engineering methods : advanced lectures
Advanced functional programming : 4th international School ; revised lectures
Central European Functional Programming School : 4th summer school ; revised selected papers
Programming multi-agent systems : 4th international workshop ; revised and invited papers
Flavour symmetries in Pati-Salam Grand Unifying Theories
First order programming theories
A unifying logical framework for integer linear programming and finite domain constraint programming
Genetic programming : 4th European conference ; proceedings
Reversible computation : 4th international workshop ; revised papers
Unifying theories of programming : second international symposium ; revised selected papers
Unifying theories of programming : third international symposium ; proceedings
Algebraic foundations of the unifying theories of programming
Unifying theories of programming and formal engineering methods : advanced lectures
Advanced functional programming : 4th international School ; revised lectures
Central European Functional Programming School : 4th summer school ; revised selected papers
Programming multi-agent systems : 4th international workshop ; revised and invited papers
Flavour symmetries in Pati-Salam Grand Unifying Theories
First order programming theories
A unifying logical framework for integer linear programming and finite domain constraint programming
Genetic programming : 4th European conference ; proceedings