Arie Ovrutcki

Publication Activity (10 Years)

Years Active: 1993-1993
Publications (10 Years): 0

Publications

Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach
MULTILOG: A System for Axiomatizing Many-valued Logics. LPAR (1993)