scientific article; zbMATH DE number 3978366

zbMATH Open0605.68017MaRDI QIDQ3742702FDOQ3742702

Authors: Stéphane Kaplan 

Publication date: 1986

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

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

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)

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.
• Title not available (Why is that?)
• Title not available (Why is that?)

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)