scientific article; zbMATH DE number 3562469
From MaRDI portal
Publication:4134908
zbMATH Open0361.68020MaRDI QIDQ4134908FDOQ4134908
Publication date: 1977
Title of this publication is not available (Why is that?)
Cited In (11)
- Alternating states for dual nondeterminism in imperative programming
- A theory for nondeterminism, parallelism, communication, and concurrency
- Confluent complement: an algorithm for the intersection of face ideals
- Fixed point characterization of infinite behavior of finite-state systems
- Adherences of languages
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs
- Title not available (Why is that?)
- Semantics of algorithmic languages
- Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable
- Title not available (Why is that?)
- R-fuzzy computation
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 Q4134908)
