scientific article; zbMATH DE number 3978366

MaRDI QIDQ3742702zbMATH OpenFDO

Authors Stéphane Kaplan

Publication date 1986

zbMATH Keywords

term rewriting systemsalgebraic specificationsbounded nondeterministic choice operatortoy concurrent language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• Nondeterministic algebraic specifications and nonconfluent term rewriting
• Publication:3490967
• scientific article; zbMATH DE number 234027
• Reasoning with first order nondeterministic specifications
• scientific article; zbMATH DE number 1303442

Cited in

(5)

• Nondeterministic algebraic specifications and nonconfluent term rewriting
• Rewriting with a nondeterministic choice operator
• Rewriting, computation and proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday.
• scientific article; zbMATH DE number 7456060 (Why is no real title available?)
• scientific article; zbMATH DE number 4164155 (Why is no real title available?)

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