Period of time: 2004年2期
Publisher: Academic Press
Founded in: 1957
Total resources: 79
ISSN: 0890-5401
Subject: O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Information and Computation,volume 133,issue 2
Menu
Normalization Results for Typeable Rewrite Systems
By van Bakel S.,Fernandez M. in (1997)
Information and Computation,volume 133,issue 2 , Vol. 133, Iss. 2, 1997-03 , pp.Determinization and Memoryless Winning Strategies
Information and Computation,volume 133,issue 2 , Vol. 133, Iss. 2, 1997-03 , pp.