Pages that link to "Item:Q4246260"
From MaRDI portal
The following pages link to Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability (Q4246260):
Displaying 5 items.
- Turing machines, transition systems, and interaction (Q703844) (← links)
- Computability and realizability for interactive computations (Q2343137) (← links)
- Verifying of interface assertions for infinite state Mealy machines (Q2453549) (← links)
- A Note on Interaction and Incompleteness (Q4812251) (← links)
- Turing Machines, Transition Systems, and Interaction (Q4917087) (← links)