Login / Signup

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model.

Itaru TakarajimaKiyoshi AkamaIkumi ImaniHiroshi Mabuchi
Published in: J. Adv. Comput. Intell. Intell. Informatics (2006)
Keyphrases