"Proceedings of the Second International Workshop on Logical Frameworks and ..."

Brigitte Pientka, Carsten Schürmann (2008)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2023-02-09