scientific article; zbMATH DE number 3750297

zbMATH Open0477.68053MaRDI QIDQ3933747FDOQ3933747

Authors: P. A. Anishev 

Publication date: 1980

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

zbMATH Keywords

polynomial algorithmlivenesssafenessindependence and order of reduction rules

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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