Login
|
New Account
ITA
ENG
Completion for Multiple Reduction Orderings
Authors
M.Kurihara
Citation
M.kurihara, Completion for Multiple Reduction Orderings, Journal of automated reasoning , 23(1), 1999, pp. 25-42
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
23
Issue
1
Year of publication
1999
Pages
25 - 42
Database
ACNP
SICI code