Primitive recursive algebraic theories and program schemes

  1. Kühnel, W.
  2. Meseguer, J.
  3. Pfender, M.
  4. Sols, I.
Aldizkaria:
Bulletin of the Australian Mathematical Society

ISSN: 1755-1633,  0004-9727

Argitalpen urtea: 1977

Alea: 17

Zenbakia: 2

Orrialdeak: 207-233

Mota: Artikulua

DOI: 10.1017/S0004972700010431 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus