| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2018 | — | conf |
GCCE
|
| 2018 | Misc | conf |
CISIS
|
| 2018 | Misc | conf |
CISIS
|
| 2016 | — | conf |
BWCCA
|
| 2016 | — | conf |
BWCCA
|
| 2015 | Misc | conf |
CISIS
|
| 2014 | — | conf |
NBiS
|
| 2001 | B | conf |
SMC
|
| 2000 | B | conf |
PRICAI
|
| 1997 | J | jnl |
Acta Informatica
|
| 1990 | J | jnl |
Syst. Comput. Jpn.
|
| 1989 | J | jnl |
An extended syllogistic system with conjunctive and complementary terms, and its completeness proof.
Syst. Comput. Jpn.
|
| 1988 | J | jnl |
Syst. Comput. Jpn.
|