Pages that link to "Item:Q980944"

The following pages link to On abstract resource semantics and computability logic (Q980944):

Displaying 4 items.

• Separating the basic logics of the basic recurrences (Q409329) (← links)
• Toggling operators in computability logic (Q631756) (← links)
• Introduction to clarithmetic. I (Q642523) (← links)
• A new face of the branching recurrence of computability logic (Q712555) (← links)