scientific article; zbMATH DE number 1332638

zbMATH Open0924.68048MaRDI QIDQ4259965FDOQ4259965

Authors: 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 of this publication is not available (Why is that?)

Recommendations

• A model-theoretic reconstruction of the operational semantics of logic programs
• Axiomatization of a functional logic language
• scientific article; zbMATH DE number 826301
• Equivalence of two formal semantics for functional logic programs
• scientific article; zbMATH DE number 2048606

zbMATH Keywords

first-order functional logic language

Mathematics Subject Classification ID

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

Cited In (4)

• Logicality of conditional rewrite systems
• Title not available (Why is that?)
• On the relation between context and sequence unification
• Solving equations with sequence variables and sequence functions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4259965)