Pages that link to "Item:Q4913832"

The following pages link to Membrane Systems and Hypercomputation (Q4913832):

Displaying 2 items.

• Using Isabelle/HOL to verify first-order relativity theory (Q2351148) (← links)
• Specification, testing and verification of unconventional computations using generalized<i>X</i>-machines (Q2930717) (← links)