An Integrated Constraint-Logic and Object-Oriented Programming Language : The Münster Logic-Imperative Language
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Universität Münster, Dissertation, 2020
- Keyword
-
Logic
Münster (Westf)
- Event
-
Veröffentlichung
- (where)
-
Münster
- (who)
-
Universitäts- und Landesbibliothek Münster
- (when)
-
2020
- Creator
- Contributor
- URN
-
urn:nbn:de:hbz:6-89089640681
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
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.
Associated
- Dageförde, Jan Christoph
- Kuchen, Herbert
- Universitäts- und Landesbibliothek Münster
Time of origin
- 2020
Other Objects (12)
An integrated constraint-logic and object-oriented programming language : the Münster logic-imperative language
Free Objects in Constraint-logic Object-oriented Programming
Free objects in constraint-logic object-oriented programming
Constraint-logic object-oriented programming and text case generation
Learning language in logic
Precision, language and logic
Logic-based 0-1 constraint solving in constraint logic programming
Modal language of provability logic
An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming
An efficient implementation of a runtime for constraint-logic object-oriented programming
ULTRA - a logic transaction programming language
Temporal logic as a programming language
An integrated constraint-logic and object-oriented programming language : the Münster logic-imperative language
Free Objects in Constraint-logic Object-oriented Programming
Free objects in constraint-logic object-oriented programming
Constraint-logic object-oriented programming and text case generation
Learning language in logic
Precision, language and logic
Logic-based 0-1 constraint solving in constraint logic programming
Modal language of provability logic
An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming
An efficient implementation of a runtime for constraint-logic object-oriented programming
ULTRA - a logic transaction programming language
Temporal logic as a programming language
An integrated constraint-logic and object-oriented programming language : the Münster logic-imperative language
Free Objects in Constraint-logic Object-oriented Programming
Free objects in constraint-logic object-oriented programming
Constraint-logic object-oriented programming and text case generation
Learning language in logic
Precision, language and logic
Logic-based 0-1 constraint solving in constraint logic programming
Modal language of provability logic
An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming
An efficient implementation of a runtime for constraint-logic object-oriented programming
ULTRA - a logic transaction programming language