JAIST Repository >

Items for Author "Suzuki, Yasuhito"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 2 items.

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


Contact : Library Information Section, Japan Advanced Institute of Science and Technology