1989
Report
Title

Program construction with an intuitionistic sequent calculus

Author(s)
Bittel, O.
Alencar, P.S.
Publisher
Publishing Place
Sankt Augustin
Language
English