Modal functions for concise definition of state machines and products
From MaRDI portal
Publication:1183435
DOI10.1016/0020-0190(91)90011-6zbMath0749.68055MaRDI QIDQ1183435
Publication date: 28 June 1992
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(91)90011-6
68Q45: Formal languages and automata
03D20: Recursive functions and relations, subrecursive hierarchies
Cites Work
- Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
- The varieties of arboreal experience
- Computation on binary tree-networks
- Application of model theoretic games to discrete linear orders and finite automata
- Hierarchies of Effective Descriptive Set Theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item