[Back]


Publications in Scientific Journals:

A. Zamansky, M. Baaz et al.:
"Finite-valued Semantics for Canonical Labelled Calculi";
Journal of Automated Reasoning, 51 (2013), 4; 401 - 430.


Created from the Publication Database of the Vienna University of Technology.