scientific article; zbMATH DE number 1332638

zbMath0924.68048MaRDI QIDQ4259965

Makoto Hamana

Publication date: 8 September 1999

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-01/A97-01.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order functional logic language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (3)

Solving equations with sequence variables and sequence functions ⋮ Logicality of conditional rewrite systems ⋮ On the relation between context and sequence unification

This page was built for publication: