O Seunghwan

Search

By title

By abstract

By keywords

By author

By series

Bu issue

By year

Seunghwan O

E-mail

gracky@gmail.com

List of Articles:

Schreiner P. Shilov N. Grebeneva J. O S. SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics // Computer Science. — 2006 . — # 24. — P. 105-117