- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-9583
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Algebraic Effects for Extensible Dynamic Semantics ; day:26 ; month:8 ; year:2022 ; pages:1-27
Journal of logic, language and information ; (26.8.2022), 1-27
- Creator
-
Grove, Julian
Bernardy, Jean-Philippe
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10849-022-09378-7
- URN
-
urn:nbn:de:101:1-2022111309071354386313
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:25 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
- Grove, Julian
- Bernardy, Jean-Philippe
- SpringerLink (Online service)
Other Objects (12)
Algebraic approaches to program semantics
Relational algebraic semantics of funktional programs
Algebraic semantics for object oriented modelling
Effects of non-extensible lumbar belts on static and dynamic postural stability
ON CONNECTIONS BETWEEN ALGEBRAIC AND KRIPKE SEMANTICS
Topics in dynamic semantics
A general algebraic semantics for sentenial [sentential] logics
An Algebraic View of the Mares-Goldblatt Semantics
Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view.
Transformation systems semantics and compositionality of algebraic Petri nets
Fundamentals of algebraic specification, 1.. Equations and initial semantics
An Approach to Algebraic Semantics of Object-Oriented Languages
Algebraic approaches to program semantics
Relational algebraic semantics of funktional programs
Algebraic semantics for object oriented modelling
Effects of non-extensible lumbar belts on static and dynamic postural stability
ON CONNECTIONS BETWEEN ALGEBRAIC AND KRIPKE SEMANTICS
Topics in dynamic semantics
A general algebraic semantics for sentenial [sentential] logics
An Algebraic View of the Mares-Goldblatt Semantics
Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view.
Transformation systems semantics and compositionality of algebraic Petri nets
Fundamentals of algebraic specification, 1.. Equations and initial semantics
An Approach to Algebraic Semantics of Object-Oriented Languages
Algebraic approaches to program semantics
Relational algebraic semantics of funktional programs
Algebraic semantics for object oriented modelling
Effects of non-extensible lumbar belts on static and dynamic postural stability
ON CONNECTIONS BETWEEN ALGEBRAIC AND KRIPKE SEMANTICS
Topics in dynamic semantics
A general algebraic semantics for sentenial [sentential] logics
An Algebraic View of the Mares-Goldblatt Semantics
Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view.
Transformation systems semantics and compositionality of algebraic Petri nets
Fundamentals of algebraic specification, 1.. Equations and initial semantics