The following pages link to (Q2753663):
Displayed 5 items.
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- First-order logical filtering (Q543591) (← links)
- State Isomorphism in Model Programs with Abstract Data Structures (Q3614845) (← links)
- Towards a Logic for Abstract MetaFinite State Machines (Q5445311) (← links)
- The Church-Turing Thesis over Arbitrary Domains (Q5452180) (← links)