scientific article; zbMATH DE number 234027

zbMATH Open0783.68008MaRDI QIDQ5287526FDOQ5287526

Authors: Heinrich Hussmann 

Publication date: 9 July 1993

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

Recommendations

• scientific article; zbMATH DE number 877128
• Publication:3490967
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• The algebra of non-deterministic programs: demonic operations, orders and axioms
• scientific article; zbMATH DE number 1303442
• scientific article; zbMATH DE number 3957062
• Algebraic laws for nondeterminism and concurrency
• Relational algebraic semantics of deterministic and nondeterministic programs
• Universality and semicomputability for nondeterministic programming languages over abstract algebras
• scientific article; zbMATH DE number 4024793

zbMATH Keywords

modelslogic programmingpartialitymulti-algebranondeterministic algebraic specification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited In (20)

• While-programs with nondeterministic assignments and the logic ALNA
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• Title not available (Why is that?)
• A new generic scheme for functional logic programming with constraints
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• A Fully Abstract Semantics for Constructor Systems
• Extra variables can be eliminated from functional logic programs
• Graded consequence: an institution theoretic study
• Rewriting and Call-Time Choice: The HO Case
• Preservation in many-valued truth institutions
• Quantifier-free logic for nondeterministic theories
• Applying ELAN strategies in simulating processors over simple architectures
• Title not available (Why is that?)
• Nondeterminism in constructive Z
• Singular and Plural Nondeterministic Parameters
• Quantifier-free logic for multialgebraic theories
• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generated models and the ω-rule: The nondeterministic case

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