Search results for: Stéphane Demri
Theory of Computing Systems > 2017 > 61 > 2 > 371-461
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 140-155
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Non-standard Logics > 279-293
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 490-504
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Decidability and Complexity > 248-262
Studies in Fuzziness and Soft Computing > Relational Methods for Computer Science Applications > Relations and Uncertainty > 163-181
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 177-192
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 121-135
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 155-170
Studies in Fuzziness and Soft Computing > Incomplete Information: Rough Set Analysis > Indiscernibility-Based Reasoning > 347-380
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 531-545