RECURSIVE-PROGRAMS AND DENOTATIONAL SEMANTICS IN ABSOLUTE LOGICS OF PROGRAMS Article

cited authors

  • PASZTOR, A

fiu authors

publication date

  • January 1990

published in

category

Digital Object Identifier (DOI)

volume

  • 70

issue

  • 1

research area