Computer Software
Print ISSN : 0289-6540
Soundness and Completeness of Modal Theorem Prover Based on Unification of Modal Operators Sequences.
Takeshi Hayama, Naoki Yonezaki
Author information
JOURNAL FREE ACCESS

1993 Volume 10 Issue 3 Pages 3_240-3_259

Details
Download PDF (1436K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Abstract

Content from these authors
© 1993, Japan Society for Software Science and Technology
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top