Sciweavers

69 search results - page 4 / 14
» mscs 2006
Sort
View
78
Voted
MSCS
2007
63views more  MSCS 2007»
15 years 9 days ago
Two preservation results for countable products of sequential spaces
Matthias Schröder, Alex Simpson
82
Voted
MSCS
2007
76views more  MSCS 2007»
15 years 9 days ago
A duality between proof systems for cyclic term graphs
Clemens Grabmayer
88
Voted
MSCS
2007
62views more  MSCS 2007»
15 years 9 days ago
On the ubiquity of certain total type structures
John Longley
71
Voted
MSCS
2007
49views more  MSCS 2007»
15 years 9 days ago
Truth, modality and intersubjectivity
Jean-Yves Girard