An Integrated Constraint-Logic and Object-Oriented Programming Language : The Münster Logic-Imperative Language

to related objects

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: Dageförde, Jan Christoph

Contributor: Kuchen, Herbert

URN: urn:nbn:de:hbz:6-89089640681

Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Last update: 14.08.2025, 10:49 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Show original at data provider

Associated

Dageförde, Jan Christoph
Kuchen, Herbert
Universitäts- und Landesbibliothek Münster

Time of origin

2020

Other Objects (12)

Hochschulschrift

An integrated constraint-logic and object-oriented programming language : the Münster logic-imperative language

Arbeitspapier

Free objects in constraint-logic object-oriented programming

Free Objects in Constraint-logic Object-oriented Programming

Hochschulschrift

Constraint-logic object-oriented programming and text case generation

Konferenzschrift | Kongress

Learning language in logic

Precision, language and logic

Akten

Modal language of provability logic

Hochschulschrift

Logic-based 0-1 constraint solving in constraint logic programming

Arbeitspapier

An efficient implementation of a runtime for constraint-logic object-oriented programming

An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming

Probabilistic inductive constraint logic

Computing and logic : mathematics and language

Hochschulschrift

An integrated constraint-logic and object-oriented programming language : the Münster logic-imperative language

Arbeitspapier

Free objects in constraint-logic object-oriented programming

Free Objects in Constraint-logic Object-oriented Programming

Hochschulschrift

Constraint-logic object-oriented programming and text case generation

Konferenzschrift | Kongress

Learning language in logic

Precision, language and logic

Akten

Modal language of provability logic

Hochschulschrift

Logic-based 0-1 constraint solving in constraint logic programming

Arbeitspapier

An efficient implementation of a runtime for constraint-logic object-oriented programming

An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming

Probabilistic inductive constraint logic

Computing and logic : mathematics and language

Hochschulschrift

An integrated constraint-logic and object-oriented programming language : the Münster logic-imperative language

Arbeitspapier

Free objects in constraint-logic object-oriented programming

Free Objects in Constraint-logic Object-oriented Programming

Hochschulschrift

Constraint-logic object-oriented programming and text case generation

Konferenzschrift | Kongress

Learning language in logic

Precision, language and logic

Akten

Modal language of provability logic

Hochschulschrift

Logic-based 0-1 constraint solving in constraint logic programming

Arbeitspapier

An efficient implementation of a runtime for constraint-logic object-oriented programming

An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming

Probabilistic inductive constraint logic

Computing and logic : mathematics and language

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read the terms of use and the privacy policy for the collection of personal data and accept them. *

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

An Integrated Constraint-Logic and Object-Oriented Programming Language : The Münster Logic-Imperative Language

Object Details

Classification and Topics

Contributors, Places and Time

Further information

Data provider

Associated

Time of origin

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

Modal language of provability logic

Logic-based 0-1 constraint solving in constraint logic programming

An efficient implementation of a runtime for constraint-logic object-oriented programming

An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming

Probabilistic inductive constraint logic

Computing and logic : mathematics and 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

Modal language of provability logic

Logic-based 0-1 constraint solving in constraint logic programming

An efficient implementation of a runtime for constraint-logic object-oriented programming

An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming

Probabilistic inductive constraint logic

Computing and logic : mathematics and 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

Modal language of provability logic

Logic-based 0-1 constraint solving in constraint logic programming

An efficient implementation of a runtime for constraint-logic object-oriented programming

An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming

Probabilistic inductive constraint logic

Computing and logic : mathematics and language

Related objects

Reset password