Login / Signup
Bayu Surarso
ORCID
Publication Activity (10 Years)
Years Active: 1996-1998
Publications (10 Years): 0
</>
Publications
</>
H. Naruse
,
Bayu Surarso
,
Hiroakira Ono
A Syntactic Approach to Maksimova's Principle of Variable Separation for some Substructural Logics.
Notre Dame J. Formal Log.
39 (1) (1998)
Bayu Surarso
,
Hiroakira Ono
Cut Elimination in Noncommutative Substructural Logics.
Reports Math. Log.
30 (1996)