Logical and semantic frameworks with applications

Bibliographische Detailangaben

Körperschaft:	Workshop on Logical and Semantic Frameworks, with Applications (VerfasserIn)
Weitere Verfasser:	Nigam, Vivek (HerausgeberIn), Thiemann, René (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2019
Schriftenreihe:	Theoretical computer science volume 781 (16 August 2019)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!