Pages that link to "Item:Q3735076"

The following pages link to Unbounded program memory adds to the expressive power of first-order programming logic (Q3735076):

Displaying 4 items.

• Computational inductive definability (Q598276) (← links)
• Definability with bounded number of bound variables (Q922523) (← links)
• Some relationships between logics of programs and complexity theory (Q1106839) (← links)
• An infinite pebble game and applications (Q1362906) (← links)