Sciweavers

27 search results - page 1 / 6
» mscs 2007
Sort
View
75
Voted
MSCS
2007
76views more  MSCS 2007»
14 years 11 months ago
A duality between proof systems for cyclic term graphs
Clemens Grabmayer
MSCS
2007
49views more  MSCS 2007»
14 years 11 months ago
Truth, modality and intersubjectivity
Jean-Yves Girard