External Links

    Journal: Fundamenta Informaticae

    Volume 152, Issue 3

    223 -- 271Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli. SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
    273 -- 287Magdalena Lemanska, Juan Alberto Rodríguez-Velázquez, Rolando Trujillo-Rasua. Similarities and Differences Between the Vertex Cover Number and the Weakly Connected Domination Number of a Graph
    289 -- 295Jacek Pomykala. On Deterministic Reduction of Factoring Integers to Computing the Exponents of Elements in Modular Group
    297 -- 321Yong Yang, Xindong Peng. A Revised TOPSIS Method Based on Interval Fuzzy Soft Set Models with Incomplete Weight Information
    runs on