Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
This paper proposes a family of new methods for the storage and reconstruction of binary patterns by means of block-projections. More flexibility and less ambiguity is thus achieved. A complete analysis is presented in terms of (i) storage requirements, (ii) computation, and (iii) unambiguity ratio. Furthermore, applications to general patterns are described. © 1972 American Elsevier Publishing Company, Inc. All rights reserved.
Barry K. Rosen
SWAT 1972
R. Sebastian, M. Weise, et al.
ECPPM 2022
Ronen Feldman, Martin Charles Golumbic
Ann. Math. Artif. Intell.
David Carmel, Haggai Roitman, et al.
ACM TIST