Rewriting with a nondeterministic choice operator (Q1096383): Difference between revisions

See the review of the preliminary version [Programming, Proc. Eur. Symp., Saarbrücken/FRG 1986, Lect. Notes Comput. Sci. 213, 351-374 (1986; Zbl 0605.68017)].

0 references

zbMATH Keywords

confluence

0 references

equational rewriting

0 references

bounded nondeterministic choice operator

0 references

algebraic specifications

0 references

term rewriting systems

0 references

toy concurrent language

0 references

describes a project that uses

REVE

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0304-3975(86)90005-8

0 references

cites work

Initial Algebra Semantics and Continuous Algebras

0 references

Ten years of Hoare's logic: A survey. II: Nondeterminism

0 references

Q3696500

0 references

Algebra of communicating processes with abstraction

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Communicating sequential processes

0 references

Automatic proofs by induction in theories without constructors

0 references

Q3742702

0 references

Q3779721

0 references

Q3338225

0 references

REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies

0 references

Q5581665

0 references

A calculus of communicating systems

0 references

Q3888505

0 references

Q3696524

0 references

Complete Sets of Reductions for Some Equational Theories

0 references

Q3670575

0 references

Q3696496

0 references

Identifiers

zbMATH Open document ID

0633.68013

0 references

DOI

10.1016/0304-3975(86)90005-8

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1096383

@@ Property / describes a project that uses @@
+REVE
@@ Property / describes a project that uses: REVE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(86)90005-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2008571565
@@ Property / OpenAlex ID: W2008571565 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Ten years of Hoare's logic: A survey. II: Nondeterminism
+Normal rank
@@ Property / cites work @@
+Q3696500
@@ Property / cites work: Q3696500 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q5186720
@@ Property / cites work: Q5186720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664417
@@ Property / cites work: Q3664417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216137
@@ Property / cites work: Q3216137 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912057
@@ Property / cites work: Q3912057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3721811
@@ Property / cites work: Q3721811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696526
@@ Property / cites work: Q3696526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696498
@@ Property / cites work: Q3696498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336735
@@ Property / cites work: Q3336735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962973
@@ Property / cites work: Q3962973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880309
@@ Property / cites work: Q3880309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947096
@@ Property / cites work: Q3947096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028369
@@ Property / cites work: Q3028369 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic proofs by induction in theories without constructors
+Normal rank
@@ Property / cites work @@
+Q3742702
@@ Property / cites work: Q3742702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3779721
@@ Property / cites work: Q3779721 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338225
@@ Property / cites work: Q3338225 / rank @@
+Normal rank
@@ Property / cites work @@
+REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3888505
@@ Property / cites work: Q3888505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696524
@@ Property / cites work: Q3696524 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q3670575
@@ Property / cites work: Q3670575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696496
@@ Property / cites work: Q3696496 / rank @@
+Normal rank