Pages that link to "Item:Q845916"

The following pages link to A Kleene characterization of computability (Q845916):

Displaying 2 items.

• Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
• Computability by monadic second-order logic (Q2656341) (← links)