Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae
Relative Nondeterministic Information Logic is EXPTIME-complete
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Relative Nondeterministic Information Logic is EXPTIME-complete
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae
Hi-index | 0.00 |