Conference paper
Bases for chain-complete posets
George Markowsky, Barry K. Rosen
FOCS 1975
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Chidanand Apte, Edna Grossman, et al.
IEEE Intelligent Systems and Their Applications
Barry K. Rosen
CACM
Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972