Arie Ovrutcki

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

Coauthor Index

1	Matthias Baaz	[1]
2	Christian G. Fermüller	[1]
3	Richard Zach	[1]