Pages that link to "Item:Q3992226"
From MaRDI portal
The following pages link to Deterministic and nondeterministic computation, and horn programs, on abstract data types (Q3992226):
Displaying 8 items.
- Non-deterministic data types: Models and implementations (Q1058286) (← links)
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
- On the structural simplicity of machines and languages (Q1924785) (← links)
- An abstract decision procedure for satisfiability in the theory of recursive data types (Q2864522) (← links)
- (Q4040341) (← links)
- 1997–98 Annual Meeting of the Association for Symbolic Logic (Q4254569) (← links)
- Theory of computation over stream algebras, and its applications (Q5096820) (← links)
- Case-free programs: An abstraction of definite horn programs (Q6488524) (← links)