dblp.uni-trier.de

Mitsushiro Okada

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1987
2 Mitsushiro Okada: A Logical Analysis on Theory of Conditional Rewriting. CTRS 1987: 179-196
1 Nachum Dershowitz, Mitsushiro Okada, G. Sivakumar: Confluence of Conditional Rewrite Systems. CTRS 1987: 31-44

Coauthor Index

1Nachum Dershowitz [1]
2G. Sivakumar [1]

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Thu Nov 1 09:56:41 2007