- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
ON CONNECTIONS BETWEEN ALGEBRAIC AND KRIPKE SEMANTICS ; volume:10 ; number:1 ; year:1977 ; pages:123-128 ; extent:6
Demonstratio mathematica ; 10, Heft 1 (1977), 123-128 (gesamt 6)
- Creator
-
Romanski, Jan
- DOI
-
10.1515/dema-1977-0111
- URN
-
urn:nbn:de:101:1-2411141636468.599202457174
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:34 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
- Romanski, Jan
Other Objects (12)
Connections between algebraic geometry and algebraic topology :
Algebraic approaches to program semantics
Algebraic groups over finite fields: Connections between subgroups and isogenies
Relational algebraic semantics of funktional programs
Algebraic semantics for object oriented modelling
Algebraic Effects for Extensible Dynamic Semantics
Algebraic K-theory, 2.. Classical algebraic K-theory, and connections with arithmetic
"Classical" algebraic K-theory, and connections with arithmetic
A general algebraic semantics for sentenial [sentential] logics
An Algebraic View of the Mares-Goldblatt Semantics
Transformation systems semantics and compositionality of algebraic Petri nets
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Connections between algebraic geometry and algebraic topology :
Algebraic approaches to program semantics
Algebraic groups over finite fields: Connections between subgroups and isogenies
Relational algebraic semantics of funktional programs
Algebraic semantics for object oriented modelling
Algebraic Effects for Extensible Dynamic Semantics
Algebraic K-theory, 2.. Classical algebraic K-theory, and connections with arithmetic
"Classical" algebraic K-theory, and connections with arithmetic
A general algebraic semantics for sentenial [sentential] logics
An Algebraic View of the Mares-Goldblatt Semantics
Transformation systems semantics and compositionality of algebraic Petri nets
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Connections between algebraic geometry and algebraic topology :
Algebraic approaches to program semantics
Algebraic groups over finite fields: Connections between subgroups and isogenies
Relational algebraic semantics of funktional programs
Algebraic semantics for object oriented modelling
Algebraic Effects for Extensible Dynamic Semantics
Algebraic K-theory, 2.. Classical algebraic K-theory, and connections with arithmetic
"Classical" algebraic K-theory, and connections with arithmetic
A general algebraic semantics for sentenial [sentential] logics
An Algebraic View of the Mares-Goldblatt Semantics
Transformation systems semantics and compositionality of algebraic Petri nets