Pages that link to "Item:Q5504119"

The following pages link to A Sound and Complete Deductive System for CTL* Verification (Q5504119):

Displaying 3 items.

• Twenty years of rewriting logic (Q1931904) (← links)
• COGNITIVE ECONOMICS AND THE LOGIC OF ABDUCTION (Q5389591) (← links)
• A Decision Procedure for CTL* Based on Tableaux and Automata (Q5747771) (← links)