Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice

Weitere Titel:

LFMTP '12

1. Verfasser:

Chlipala, Adam

Format:

Elektronisch E-Book

Sprache:

Englisch

Veröffentlicht:

New York, NY ACM 2012

Umfang:

1 online resource (44 pages)

Schriftenreihe:

ACM Digital Library

ISBN:

9781450315784

Schlagworte:

Computer science

Theory of Computation

Software

Konferenzschrift

Links:

Wird geladen...