A proof theory for a sequential version of POOL

P.H.M. America, F.S. Boer, de

Research output: Book/ReportReportAcademic

62 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages108
Publication statusPublished - 1990

Publication series

NameComputing science notes
Volume9012

Cite this