Pages that link to "Item:Q3992226"

The following pages link to Deterministic and nondeterministic computation, and horn programs, on abstract data types (Q3992226):

Displaying 3 items.

• Computation by `While' programs on topological partial algebras (Q1292414) (← links)
• 1997–98 Annual Meeting of the Association for Symbolic Logic (Q4254569) (← links)
• Theory of computation over stream algebras, and its applications (Q5096820) (← links)