Computer Software
Print ISSN : 0289-6540
2-Categorical Model of Conditional Rewriting Logic
Hiroyuki Miyoshi
Author information
JOURNAL FREE ACCESS

1997 Volume 14 Issue 1 Pages 1_15-1_23

Details
Abstract

Content from these authors
© 1997, Japan Society for Software Science and Technology
Previous article Next article
feedback
Top