Transforming Termination by Self-Labelling(Theory of Rewriting Systems and Its Applications)
スポンサーリンク
概要
著者
-
Middeldorp. Aart
Institute Of Information Sciences And Electronics. University Of Tsukuba
-
Ferreira Maria
Department Of Computer Science Utrecht University
-
Ferreira Maria
Departamento De Farmacia Faculdade De Farmacia Odontologia E Enfermagem Universidade Federal Do Cear
-
Ohsaki Hitoshi
Institute of Information Sciences and Electronics. University of Tsukuba
関連論文
- Antioxidant Effects in the Quinone Fraction from Auxemma oncocalyx TAUB
- Transforming Termination by Self-Labelling(Theory of Rewriting Systems and Its Applications)