Login / Signup

Off-Line and On-Line Algorithms for Deducing Equalities.

Peter J. DowneyHanan SametRavi Sethi
Published in: POPL (1978)
Keyphrases