1
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... State Machines within Microsoft -- Choiceless Polynomial Time Logic: Inability to Express -- Schema...