Inferentialist Resource Semantics
In systems modelling, a 'system' typically comprises located resources relative to which processes execute. One important use of logic in informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one require...
Uložené v:
| Vydané v: | Electronic Notes in Theoretical Informatics and Computer Science Ročník 4 - Proceedings of... |
|---|---|
| Hlavní autori: | , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
11.12.2024
|
| ISSN: | 2969-2431, 2969-2431 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Buďte prvý, kto okomentuje tento záznam!