Sciweavers

45 search results - page 1 / 9
» apal 2010
Sort
View
150
Voted
APAL
2010
78views more  APAL 2010»
15 years 4 months ago
Unprovability threshold for the planar graph minor theorem
Andrey Bovykin
188
Voted
APAL
2010
130views more  APAL 2010»
15 years 1 months ago
Fundamental results for pointfree convex geometry
Yoshihiro Maruyama
APAL
2010
73views more  APAL 2010»
15 years 7 months ago
Totality in arena games
Pierre Clairambault, Russ Harmer
185
Voted
APAL
2010
175views more  APAL 2010»
15 years 7 months ago
Admissible rules in the implication-negation fragment of intuitionistic logic
Petr Cintula, George Metcalfe