"An Executable Specification of the HDG-Machine."

David R. Lester, Geoffrey Livingston Burn (1993)

Details and statistics

DOI: 10.1142/S0129053393000153

access: closed

type: Journal Article

metadata version: 2022-04-12

a service of  Schloss Dagstuhl - Leibniz Center for Informatics