Zohar Manna (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

26 Ashok K. Chandra, Zohar Manna: On the Power of Programming Features. Comput. Lang. 1(3): 219-232 (1976)

13 Ashok K. Chandra, Zohar Manna: Program Schemas with Equality STOC 1972: 52-64

Selection of 2 from 176 records - Zohar Manna has 46 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

26		Ashok K. Chandra, Zohar Manna: On the Power of Programming Features. Comput. Lang. 1(3): 219-232 (1976)
13		Ashok K. Chandra, Zohar Manna: Program Schemas with Equality STOC 1972: 52-64