Drs Bayu Surarso, M.Sc., Ph.D
Biography
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
Akar-akar polinomial separabel sebagai pembentuk perluasan normal
JURNAL MATEMATIKA 7 (3), 1-7, 2004
Authors: SD Sulastri Daruni, BS Bayu Surarso, BI Bambang Irawanto
2004
0 cited
Interpolation theorem for noncommutative standard extensions of logic bb’i
JURNAL MATEMATIKA 7 (2), 36-41, 2004
Authors: BS Bayu Surarso
2004
2 cited
Analisis cadangan untuk alokasi resiko pada tahun-tahun asuransi dengan teorema hattendorf
MATHEMATICS AND NATURAL SCIENCE
Authors: T Siswoyo, B SURARSO
2003
0 cited
Interpolation theorem for some distributive substructural logics
MATHEMATICA JAPONICAE 50 (2), 183-190, 1999
Authors: B SURARSO
1999
3 cited
NOTRE DAME JOURNAL OF FORMAL LOGIC 39 (1), 94-113, 1998
Authors: H Naruse, H Ono, B Surarso
1998
8 cited
A proof-theoretical investigation on intuitionistic substructural logics
広島大学, 1998
Authors: B Surarso
1998
1 cited
Interpolation theorem for ldbcc ano^-^ dbck
SūRI KAGAKU KōKYūROKU 1021, 1997
Authors: B Surarso
1997
0 cited
Cut elimination in noncommutative substructural logics
REPORTS MATH. LOG. 30, 13-29, 1996
Authors: B Surarso, H Ono
1996
25 cited
JSINBIS (JURNAL SISTEM INFORMASI BISNIS) 1 (2), 64-68
Authors: MH Qamaruzzaman, B Surarso, S Suhartono
0 cited