Personal tools
You are here: Home

Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 63 items matching your search terms

Subscribe to an always-updated feed of these search terms

Event LFCS Seminar: Gilles Dowek
Pre-Heyting algebras and proof normalization.
Event LFCS Seminar: Jamie Gabbay
Stone duality for first-order logic (a nominal approach)
Event CISA/LFCS Seminar: Georges Gonthier
Proof engineering, from the Four Color to the Odd Order Theorem.