External Links

    Journal: Fundamenta Informaticae

    Volume 40, Issue 4

    317 -- 333Luis Fariñas del Cerro, Olivier Gasquet. Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
    335 -- 382Jerry den Hartog, Erik P. de Vink, J. W. de Bakker. Full Abstractness of a Metric Semantics for Action Refinement
    383 -- 405Hung Son Nguyen, Sinh Hoa Nguyen. Rough Sets and Association Rule Generation
    407 -- 422Edward T. Ordman, Eugene Eberbach, A. Anwar. Generalized Mutual Exclusion with Semaphores Only
    runs on