scientific article; zbMATH DE number 3562469
From MaRDI portal
Publication:4134908
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
- Semantics of algorithmic languages
- scientific article; zbMATH DE number 3578343 (Why is no real title available?)
- Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable
- scientific article; zbMATH DE number 3725688 (Why is no real title available?)
- 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)
