8582 search results - page 62 / 1717 » Here or There |
IGPL
2007
13 years 10 months ago
2007
This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, eq...
SIGIR
2008
ACM
13 years 10 months ago
2008
ACM
This report concerns the last edition of the XML Mining Track at INEX 2007. A preceding report has been already published concerning the two preceding editions of the track. We pr...
SYNTHESE
2008
13 years 10 months ago
2008
I will assume here the defenses of epistemic infinitism are adequate and inquire as to the variety standpoints within the view. I will argue that infinitism has three varieties dep...
TCS
2008
13 years 10 months ago
2008
Soittola's theorem characterizes R+- or N-rational formal power series in one variable among the rational formal power series with nonnegative coefficients. We present here a...
ARSCOM
2004
13 years 10 months ago
2004
The existence question for the family of 4-(15, 5, ) designs has long been answered for all values of except = 2. Here, we resolve this last undecided case and prove that 4-(15, ...