Pages that link to "Item:Q5741559"

The following pages link to A light-weight integration of automated and interactive theorem proving (Q5741559):

Displaying 2 items.

• A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
• A sound and complete proof system for a unified temporal logic (Q2197533) (← links)