Logical Frameworks: Problems and Potentials (Teaching material for ISS participants)

Research output: Contribution to conferencePaperAcademic

12 Downloads (Pure)
Original languageUndefined/Unknown
Pages30
Number of pages30
Publication statusPublished - 2000
Externally publishedYes

Cite this