Sciweavers

10539 search results - page 298 / 2108
» On L
Sort
View
ACSW
2007
15 years 7 months ago
YourSRB: A cross platform interface for SRB and Digital Libraries
Mathew J. Wyatt, Nigel G. D. Sim, Dianna L. Hardy,...
AIML
2008
15 years 7 months ago
On axiomatising products of Kripke frames, part II
We generalise some results of [7, 5] and show that if L is an -modal logic (for some ordinal 3) such that (i) L contains the product logic K and (ii) the product of -many trees o...
Agi Kurucz