Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >
Research Center for Software Verification 2010-2016 >
Articles >

Journal Articles : [1]

Collection home page
 
All Faculty's Articles
 
or browse     


 

Recent Submissions

Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
Contact : Library Information Section, Japan Advanced Institute of Science and Technology