Representing Godel Object Programs in Godel

AF Bowers

Research output: Working paperWorking paper and Preprints

Translated title of the contributionRepresenting Godel Object Programs in Godel
Original languageEnglish
PublisherUniversity of Bristol
Number of pages19
Publication statusPublished - 1992

Bibliographical note

Other: # CSTR-92-31

Cite this