DSpace at RU >

Browsing by Author Terwijn, S.A.

Full Text	Issue Date	Title	Author(s)
	2012	The finite intervals of the Muchnik lattice	Terwijn, S.A.
	2012	Intuitionistic logic and Muchnik degrees	Sorbi, A.; Terwijn, S.A.
	2011	Generalizations of the Weak Law of the Excluded Middle	Sorbi, A.; Terwijn, S.A.
	2011	Nonapproximability of the normalized information distance	Terwijn, S.A.; Torenvliet, L.; Vitanyi, P.M.B.
	2010	Intuitionistic Logic and Muchnik Degrees	Sorbi, A.; Terwijn, S.A.
	2010	Intuitionistic Logic and Computability Theory	Dawar, A.; Queiroz, R. de; Terwijn, S.A.
	2010	Normalized Information Distance is Not Semicomputable	Terwijn, S.A.; Torenvliet, L.; Vitanyi, P.M.B.