Personensuche
X
?
Outstanding Contributions to Logic; Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs ,
11
Algorithmic Correspondence for Relevance Logics I. The Algo..:
, In:
?
Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems ,
12
Logic-based Specification and Verification of Homogeneous D..:
, In:
?
Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science ,
15