Horn clause specifications with polymorphic types

von Hanus, Michael
Veröffentlicht 1988

Problemlösen mit PROLOG

von Hanus, Michael
Veröffentlicht 1987

Lazy unification with inductive simplification

von Hanus, Michael
Veröffentlicht 1993

Analysis of nonlinear constraints in CLP(R)

von Hanus, Michael
Veröffentlicht 1992

Logic programming with type specifications

von Hanus, Michael
Veröffentlicht 1989

Problemlösen mit PROLOG

von Hanus, Michael
Veröffentlicht 1986

Lightweight Declarative Server-Side Web Programming

von Hanus, Michael
Veröffentlicht in PADL (23. : 2021 : Online) Practical aspects of declarative languages (2021)

Horn clause specifications with polymorphic types

von Hanus, Michael
Veröffentlicht 1988

Problemlösen mit PROLOG

von Hanus, Michael
Veröffentlicht 1987

Problemlösen mit PROLOG

von Hanus, Michael
Veröffentlicht 1986

Dr. rer. nat. Michael Hanus : Professor (C4) für Programmiersprachen ; Direktor am Inst. für Informatik und Praktische Mathematik

von Hanus, Michael
Veröffentlicht in Christian-Albrechts-Universität zu Kiel Christiana Albertina (2000)

On extra variables in (equational) logic programming

von Hanus, Michael
Veröffentlicht 1994

Functional and (constraint) logic programming (WFLP 2001)

Veröffentlicht 2001

Call pattern analysis for functional logic programs

von Hanus, Michael
Veröffentlicht 2008

The integration of functions into logic programming : a survey

von Hanus, Michael
Veröffentlicht 1994

An abstract interpretation algorithm for residuating logic programs

von Hanus, Michael
Veröffentlicht 1992

Parametric order-sorted types in logic programming

von Hanus, Michael
Veröffentlicht 1991

Problemlösen mit PROLOG

von Hanus, Michael
Veröffentlicht 1986

Implementing functional logic programs by translation into purely functional programs

von Braßel, Bernd
Veröffentlicht 2011

Memoized Pull-Tabbing for Functional Logic Programming

von Hanus, Michael
Veröffentlicht in WFLP (28. : 2020 : Online) Functional and constraint logic programming (2021)