An Equational Axiomatization of the Algebra of Reducible Flowchart Schemes

Selected Papers ◽

10.1007/978-1-4613-8177-8_12 ◽

1982 ◽

pp. 361-409 ◽

Author(s):

Calvin C. Elgot ◽

John C. Shepherdson

Download Full-text