Wyniki wyszukiwania dla: Viorica Sofronie-Stokkermans
Fundamenta Informaticae > 2020 > Vol. 173, nr 2-3 > 91--138
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 1. Invited Contributions > 47-71
Lecture Notes in Computer Science > Automated Deduction in Classical and Non-Classical Logics > Contributed Papers > 267-281
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 6 > 346-362
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 4. System Descriptions > 131-139
Studies in Fuzziness and Soft Computing > Beyond Two: Theory and Applications of Multiple-Valued Logic > Algebras of Multiple-valued Logics and Their Applications > 59-100
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 235-250
Lecture Notes in Computer Science > Automated Reasoning > Logical Frameworks and Combination of Systems > 30-45
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 2. Combinations and Extensions > 67-83
Lecture Notes in Computer Science > Automated Reasoning > Verification > 171-187
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Static Analysis > 265-281