Sciweavers

14704 search results - page 157 / 2941
» computing 2007
Sort
View
100
Voted
STACS
2007
Springer
15 years 10 months ago
Admissibility in Infinite Games
Dietmar Berwanger
134
Voted
TLCA
2007
Springer
15 years 10 months ago
On a Logical Foundation for Explicit Substitutions
Frank Pfenning