scientific article; zbMATH DE number 3562469
From MaRDI portal
Publication:4134908
Cited in
(11)- R-fuzzy computation
- A theory for nondeterminism, parallelism, communication, and concurrency
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs
- Adherences of languages
- Fixed point characterization of infinite behavior of finite-state systems
- Confluent complement: an algorithm for the intersection of face ideals
- 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?)
- scientific article; zbMATH DE number 3578343 (Why is no real title available?)
- Semantics of algorithmic languages
- Alternating states for dual nondeterminism in imperative programming
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)
