Sciweavers

65 search results - page 1 / 13
» logcom 2006
Sort
View
91
Voted
LOGCOM
2006
50views more  LOGCOM 2006»
15 years 2 months ago
An Independence Result for Intuitionistic Bounded Arithmetic
Morteza Moniri
LOGCOM
2000
63views more  LOGCOM 2000»
15 years 1 months ago
Similarity relations in concept lattices
Radim Belohlávek
LOGCOM
2002
68views more  LOGCOM 2002»
15 years 1 months ago
µ-Calculus with Explicit Points and Approximations
Mads Dam, Dilian Gurov