JOURNAL OF APPLIED LOGIC, 1570-8683

Journal

  1. Rewrite rules for CTL*

    Research output: Contribution to journalArticle

  2. Special issue on logics for intelligent agents and multi-agent systems

    Research output: Contribution to journalLetter

View all (2) »

ID: 8642627