Singular and Plural Nondeterministic Parameters

DOI10.1137/S0097539794264317MaRDI QIDQ4376171zbMATH OpenFDO

Authors Michał Walicki, Sigurd Meldal

Publication date 10 February 1998

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/S0097539794264317

zbMATH Keywords

algebraic specificationmany-sorted algebranondeterminismsequent calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Applications of universal algebra in computer science (08A70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Singular and plural functions for functional logic programming
• scientific article; zbMATH DE number 234027
• scientific article; zbMATH DE number 956827
• A hierarchy of semantics for non-deterministic term rewriting systems
• Algebraic laws for nondeterminism and concurrency

Cited in

(2)

• Generated models and the -rule: the nondeterministic case
• Singular and plural functions for functional logic programming

This page was built for publication: Singular and Plural Nondeterministic Parameters

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