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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Electronic Notes in Theoretical Informatics and Computer Science Jg. 4 - Proceedings of...
Hauptverfasser:	Gheorghiu, Alexander V., Gu, Tao, Pym, David J.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	11.12.2024
ISSN:	2969-2431, 2969-2431
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!