Logical and semantic frameworks with applications
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Amsterdam
Elsevier
16 November 2015
|
| Schriftenreihe: | Theoretical computer science
volume 606 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Aus dem Vorwort: "The conference Logical and Semantic Frameworks with Applications (LSFA) is an annual meeting ... This volume is related to two different editions of LSFA: the first one held during September 29-30, 2012 in Rio de Janeiro, and the second one held during September 2-3, 2013 in São Paulo, both in Brazil |
|---|---|
| Beschreibung: | 120 Seiten Diagramme |