Pages that link to "Item:Q1044841"

The following pages link to Linear logic by levels and bounded time complexity (Q1044841):

Displaying 2 items.

• Paths-based criteria and application to linear logic subsystems characterizing polynomial time (Q1640980) (← links)
• Proof theory for functional modal logic (Q1708100) (← links)