An Institutional Foundation for the K Semantic Framework. / Chirita, Claudia-Elena; Serbanuta, Traian Florin.
In: Lecture Notes in Computer Science, Vol. 9463, 30.12.2015, p. 9-29.Research output: Contribution to journal › Article › peer-review
Accepted author manuscript, 654 KB, PDF document
Final published version
Original language | English |
---|---|
Pages (from-to) | 9-29 |
Number of pages | 21 |
Journal | Lecture Notes in Computer Science |
Volume | 9463 |
Early online date | 30 Dec 2015 |
DOIs | |
Publication status | E-pub ahead of print - 30 Dec 2015 |
ID: 25043958