Sciweavers

45 search results - page 1 / 9
» apal 2010
Sort
View
77
Voted
APAL
2010
83views more  APAL 2010»
15 years 3 months ago
Forcing absoluteness and regularity properties
Daisuke Ikegami
107
Voted
APAL
2010
78views more  APAL 2010»
15 years 1 months ago
Unprovability threshold for the planar graph minor theorem
Andrey Bovykin
131
Voted
APAL
2010
130views more  APAL 2010»
14 years 10 months ago
Fundamental results for pointfree convex geometry
Yoshihiro Maruyama
APAL
2010
73views more  APAL 2010»
15 years 3 months ago
Totality in arena games
Pierre Clairambault, Russ Harmer
123
Voted
APAL
2010
175views more  APAL 2010»
15 years 3 months ago
Admissible rules in the implication-negation fragment of intuitionistic logic
Petr Cintula, George Metcalfe