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 4 items matching your search terms

Subscribe to an always-updated feed of these search terms

Event Lab Lunch by Julian Bradfield
Two short talks: "The structure of events in boolean games" and "The frustrations of shooting".
Event Lab Lunch by Karoliina Lehtinen
Eliminating complexity in modal mu calculus & a brief survey of folk dancing in Edinburgh and elsewhere.
Event Lab Lunch by Richard Mayr
Minimizing nondeterministic automata: From words to trees
Event Lab Lunch by Jonh Longley
The recursion hierarchy for PCF is strict