Programmierung - eine Einführung in die Informatik mit Standard ML von Smolka, Gert 1955-

Beschreibung

Programmierung - eine Einführung in die Informatik mit Standard ML von Smolka, Gert 1955-

Volltext öffnen

The oz programming model von Smolka, Gert 1955-

A calculus for higher-order concurrent constraint programming with deep guards von Smolka, Gert 1955-

Inhaltsverzeichnis

A feature-based constraint system for logic programming with entailment von Aït-Kaci, Hassan, Podelski, Andreas, Smolka, Gert 1955-

Records for logic programming von Smolka, Gert 1955-, Treinen, Ralf

A complete and recursive feature theory von Backofen, Rolf, Smolka, Gert 1955-

Residuation and guarded rules for constraint logic programming von Smolka, Gert 1955-

Attributive description formalisms and the rest of the world von Nebel, Bernhard, Smolka, Gert 1955-

TEL (Version 0.9) report and user manual von Smolka, Gert 1955-

Order sorted unification von Meseguer, José, Goguen, Joseph 1941-2006, Smolka, Gert 1955-

Programmierung – eine Einführung in die Informatik mit Standard ML von Smolka, Gert 1955-

Volltext öffnen

Encapsulated search and constraint programming in oz von Schulte, Christian, Smolka, Gert 1955-, Würtz, Jörg

Inhaltsverzeichnis

A foundation for higher-order concurrent constraint programming von Smolka, Gert 1955-

Principal types for object-oriented languages von Hense, Andreas V., Smolka, Gert 1955-

A verification of extensible record types von Hense, Andreas V., Smolka, Gert 1955-

Residuation and guarded rules for constraint logic programming von Smolka, Gert 1955-

A feature logic with subsorts von Smolka, Gert 1955-

Completeness and confluence properties of Kowalski's clause graph calculus von Smolka, Gert 1955-

Programmierung - eine Einführung in die Informatik mit Standard ML von Smolka, Gert 1955-

Inhaltsverzeichnis