JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Sign on to:

My DSpace
authorized users

Items for Author "Suzuki, Yasuhito"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 2 items.

Date of Issue	Title	Authors
17-Jan-1997	Speaking about transitive frames in propositional languages	Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael; 鈴木, 康人
7-Oct-1997	Hilbert style proof system for BPL	Suzuki, Yasuhito; Ono, Hiroakira