Towards a definition of AUT-SL by means of a formal description of binary trees

N.G. Bruijn, de

Research output: Book/ReportReportPopular

30 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages13
Publication statusPublished - 1984

Cite this