Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >
School of Information Science >
JAIST Research Reports >
Research Report - School of Information Science ： ISSN 0918-7553 >

IS-RR-2015 : [3]

Collection home page
 
All Faculty's Articles
 
or browse     


 

Recent Submissions

Formal Semantics of Core SQL Language based on the K Framework

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering

Generic Proof Scores for Generate & Check Method in CafeOBJ
Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)