scientific article; zbMATH DE number 759440

zbMATH Open0819.03020MaRDI QIDQ4834482FDOQ4834482

A. V. Mantsivoda

Publication date: 5 July 1995

Title of this publication is not available (Why is that?)

zbMATH Keywords

denotational semanticsconcurrent constraint programmingoperational semanticsleast fixed pointprocedural semantics\(\Sigma\)-programming\(\Sigma^ +\)-machineFlangfunctional-logic language with constraints

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Turing machines and related notions (03D10)

Recommendations

• The syntactic complexity of semi-flower languages 👍 👎
• The explanative and procedural semantics of FLL 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q4834482)