Software Science and Engineering
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810207762, 9789814360128
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Algebraic Method For Verifying Progress Property of Communication Protocols

1991 ◽  
pp. 39-59
Author(s):  
Teruo HIGASHINO ◽  
Kenichi TANIGUCHI ◽  
Tadao KASAMI ◽  
Mamoru FUJII ◽  
Masaaki MORI
Keyword(s):  
Communication Protocols ◽  
Algebraic Method

Potential of General-Purpose Reasoning Assistant System EUODHILOS

1991 ◽  
pp. 164-188
Author(s):  
Hajime Sawamura ◽  
Toshiro Minami ◽  
Kaoru Yokota ◽  
Kyoko Ohashi
Keyword(s):  
General Purpose

scholarly journals Negation Technique for Context-Free Grammars

1991 ◽  
pp. 145-163
Author(s):  
Yoshiyuki YAMASHITA ◽  
Ikuo NAKATA
Keyword(s):  
Context Free ◽  
Context Free Grammars

FRONT MATTER

1991 ◽  
pp. i-ix
Author(s):  
Ikuo Nakata ◽  
Masami Hagiya
Load More ...
Sign in / Sign up

Export Citation Format

Share Document