- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8730
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A Game Semantics for System P ; day:12 ; month:5 ; year:2016 ; pages:1-26
Studia logica ; (12.5.2016), 1-26
- Creator
-
Marti, J.
- Contributor
-
Pinosio, R.
SpringerLink (Online service)
- DOI
-
10.1007/s11225-016-9669-9
- URN
-
urn:nbn:de:1111-201605182599
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:04 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Marti, J.
- Pinosio, R.
- SpringerLink (Online service)
Other Objects (12)
Video game translation and cognitive semantics
Ehrenfeucht-Fraïssé Games in Semiring Semantics
Ehrenfeucht-Fraïssé Games in Semiring Semantics
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
Methods and semantics for telecommunications systems engineering
Refinement-Based Game Semantics for Certified Abstraction Layers: Q/A Session E - Paper E6.D
Glue semantics for HPSG
LTAG semantics for questions
Semantics of a language for describing systems and processes
Semantics of a language for describing systems and processes
Probabilistic Cognition for Autonomous Systems: Abstraction, Semantics and Knowledge
Microservice-based Reference Architecture for Semantics-aware Measurement Systems
Video game translation and cognitive semantics
Ehrenfeucht-Fraïssé Games in Semiring Semantics
Ehrenfeucht-Fraïssé Games in Semiring Semantics
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
Methods and semantics for telecommunications systems engineering
Refinement-Based Game Semantics for Certified Abstraction Layers: Q/A Session E - Paper E6.D
Glue semantics for HPSG
LTAG semantics for questions
Semantics of a language for describing systems and processes
Semantics of a language for describing systems and processes
Probabilistic Cognition for Autonomous Systems: Abstraction, Semantics and Knowledge
Microservice-based Reference Architecture for Semantics-aware Measurement Systems
Video game translation and cognitive semantics
Ehrenfeucht-Fraïssé Games in Semiring Semantics
Ehrenfeucht-Fraïssé Games in Semiring Semantics
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
Methods and semantics for telecommunications systems engineering
Refinement-Based Game Semantics for Certified Abstraction Layers: Q/A Session E - Paper E6.D
Glue semantics for HPSG
LTAG semantics for questions
Semantics of a language for describing systems and processes
Semantics of a language for describing systems and processes
Probabilistic Cognition for Autonomous Systems: Abstraction, Semantics and Knowledge