Login / Signup

Proving Algorithms by Tail Functions

Antoni W. Mazurkiewicz
Published in: Inf. Control. (1971)
Keyphrases