Mathematical Logic in Asia
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789812700452, 9789814476928
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

INTERVAL FUZZY ALGEBRAIC SYSTEMS

2006 ◽  
Author(s):  
D. E. PAL'CHUNOV ◽  
G. E. YAKHYAEVA
Keyword(s):  
Algebraic Systems

PROOFS ABOUT FOLKLORE: WHY MODEL CHECKING = REACHABILITY? (EXTENDED ABSTRACT)

2006 ◽  
Author(s):  
K. CHOE ◽  
H. EO ◽  
S. O ◽  
N. V. SHILOV ◽  
K. YI
Keyword(s):  
Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document