scientific article; zbMATH DE number 234027
From MaRDI portal
Publication:5287526
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)
Recommendations
- scientific article; zbMATH DE number 877128
- scientific article; zbMATH DE number 4164155
- 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
Cited in
(25)- While-programs with nondeterministic assignments and the logic ALNA
- Reasoning with first order nondeterministic specifications
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- Quantifier-free logic for nondeterministic theories
- Applying ELAN strategies in simulating processors over simple architectures
- Inequational deduction as term graph rewriting
- Extra variables can be eliminated from functional logic programs
- scientific article; zbMATH DE number 4164155 (Why is no real title available?)
- Nondeterminism in constructive Z
- A Fully Abstract Semantics for Constructor Systems
- scientific article; zbMATH DE number 3978366 (Why is no real title available?)
- Algebraic laws for nondeterminism and concurrency
- Nondeterministic algebraic specifications and nonconfluent term rewriting
- scientific article; zbMATH DE number 139633 (Why is no real title available?)
- scientific article; zbMATH DE number 1303442 (Why is no real title available?)
- Singular and Plural Nondeterministic Parameters
- scientific article; zbMATH DE number 877128 (Why is no real title available?)
- Non-strict don't care algebras and specifications
- Quantifier-free logic for multialgebraic theories
- scientific article; zbMATH DE number 1418364 (Why is no real title available?)
- Generated models and the -rule: the nondeterministic case
- Rewriting and Call-Time Choice: The HO Case
- Preservation in many-valued truth institutions
- A new generic scheme for functional logic programming with constraints
- Graded consequence: an institution theoretic study
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)
