Completing Herbelin's programme

Lecture Notes in Computer Science

Journal Article

Publication

Year of publication: 2007

Volume: 4583 LNCS

Pages: 118-132

Identifiers

Other: WOS:000247864800010

Locators

Alternative Titles