Pages that link to "Item:Q834373"

The following pages link to Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings (Q834373):

Displaying 3 items.

• Machine learning guidance for connection tableaux (Q2031418) (← links)
• Operational semantics with semicommutations (Q2043812) (← links)
• Two-Way Automata in Coq (Q2829256) (← links)