Singular and Plural Nondeterministic Parameters

DOI10.1137/S0097539794264317zbMath0885.68110MaRDI QIDQ4376171

Sigurd Meldal, Michał Walicki

Publication date: 10 February 1998

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

zbMATH Keywords

sequent calculusalgebraic specificationnondeterminismmany-sorted algebra

Mathematics Subject Classification ID

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

Related Items (1)

Generated models and the ω-rule: The nondeterministic case

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