Pages that link to "Item:Q959826"
From MaRDI portal
The following pages link to The computable kernel of abstract state machines (Q959826):
Displaying 15 items.
- Can abstract state machines be useful in language theory? (Q880169) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Abstract state machines and computationally complete query languages (Q1854519) (← links)
- A guarded fragment for abstract state machines (Q2567346) (← links)
- (Q2753700) (← links)
- Abstract effective models (Q2851702) (← links)
- Honest universality (Q2941591) (← links)
- Functionals Using Bounded Information and the Dynamics of Algorithms (Q2986810) (← links)
- Three Paths to Effectiveness (Q3586000) (← links)
- (Q4520496) (← links)
- (Q4680195) (← links)
- (Q4783310) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Abstract State Machines with Exact Real Arithmetic (Q5881448) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901602) (← links)