Q4834482
type: Item
instance of: scholarly article
zbMATH Open document ID: 0819.03020
author: A. V. Mantsivoda
publication date: 1995-07-05T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03D10
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 759440
zbMATH Keywords: operational semantics
zbMATH Keywords: Flang
zbMATH Keywords: functional-logic language with constraints
zbMATH Keywords: \(\Sigma\)-programming
zbMATH Keywords: concurrent constraint programming
zbMATH Keywords: denotational semantics
zbMATH Keywords: least fixed point
zbMATH Keywords: \(\Sigma^ +\)-machine
zbMATH Keywords: procedural semantics
MaRDI profile type: MaRDI publication profile
Recommended article: Q5691455
Recommended article: Q4281595
Recommended article: The syntactic complexity of semi-flower languages
Recommended article: The explanative and procedural semantics of FLL
Recommended article: Q3677745
Recommended article: Q3678647
Recommended article: Q3713563
description: scientific article; zbMATH DE number 759440