Finitary Partial Inductive Definitions and General Logic

Detta är en avhandling från Stockholm : Swedish Institute of Computer Science

Författare: Lars-henrik Eriksson; [1993]

Nyckelord: NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computing Science; Datalogi;

Sammanfattning:

  Denna avhandling är EVENTUELLT nedladdningsbar som PDF. Kolla denna länk för att se om den går att ladda ner.