Sciweavers

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