Log in
Site MapContact

Axelrod G.; Conradie W., Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics, CEUR Workshop Proceedings 3717, pp. 10.

Publications2024