Relational attribute systems II: reasoning with relations in information structures
Transactions on rough sets VII
Quantifier elimination in elementary set theory
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Investigating finite models of non-classical logics with relation algebra and RELVIEW
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Relational logics and their applications
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
A Proof System for Dependencies for Information Relations
Fundamenta Informaticae
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
Fundamenta Informaticae
Modal Tableaux with Propagation Rules and Structural Rules
Fundamenta Informaticae
Hi-index | 0.00 |