1989
Report
Titel

Program construction with an intuitionistic sequent calculus
Author(s)
Bittel, O.
Alencar, P.S.
Verlag
Verlagsort
Sankt Augustin
Thumbnail Image
Language
English