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

Subscribe to an always-updated feed of these search terms

Event Lab Lunch by James McKinna
Bidirectional transformations, from a dependently-typed perspective
Event Lab Lunch by Andrew Drucker
Limits to Efficient Preprocessing
Event Lab Lunch by Daniƫl Reijsbergen
Recomputability of scientific experiments
Event Lab Lunch by Kousha Etessami
The complexity of computing a (quasi-)perfect equilibrium for an n-player extensive form game of perfect recall.
Event Lab Lunch by Wei Chen
Towards Understanding Behaviours of Android Applications