Logical and semantic frameworks with applications

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Workshop on Logical and Semantical Frameworks with Applications (VerfasserIn)
Weitere Verfasser:	Ayala-Rincón, Mauricio (HerausgeberIn), Mackie, Ian (HerausgeberIn), Montanari, Ugo (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2017
Schriftenreihe:	Theoretical computer science Logic, semantics and theory of programming volume 685 (15 July 2017)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	"This special issue contains extended versions of selected contributions presented at the Ninth Workshop on Logical and Semantical Frameworks with Applications (LSFA 2014). The event was held in Brasília, Brazil in September 2014." - Vorwort Literaturangaben
Beschreibung:	103 Seiten Diagramme