Pages that link to "Item:Q845832"

The following pages link to Propositional dynamic logic of context-free programs and fixpoint logic with chop (Q845832):

Displaying 2 items.

• The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic (Q4989164) (← links)
• Temporal Logic with Recursion. (Q6060093) (← links)