Introducing H, an Institution-Based Formal Specification and Verification Language (Englisch)
- Neue Suche nach: Diaconescu, Răzvan
- Neue Suche nach: Diaconescu, Răzvan
In:
Logica Universalis
;
14
, 2
;
259-277
;
2020
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Introducing H, an Institution-Based Formal Specification and Verification Language
-
Weitere Titelangaben:Log. Univers.
-
Beteiligte:Diaconescu, Răzvan ( Autor:in )
-
Erschienen in:Logica Universalis ; 14, 2 ; 259-277
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:01.06.2020
-
Format / Umfang:19 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: Primary 03C95 / Secondary 03C98 / 68N30
- Weitere Informationen zu Mathematics Subject Classification
-
Schlagwörter:
-
Klassifikation:
MSC: Primary 03C95 / Secondary 03C98 / 68N30 -
Datenquelle:
Inhaltsverzeichnis – Band 14, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 151
-
Beyond Logical Pluralism and Logical MonismArazim, Pavel et al. | 2020
- 175
-
Eigenlogic in the Spirit of George BooleToffano, Zeno et al. | 2020
- 209
-
Essential Structure of Proofs as a Measure of ComplexityRamos, Jaime / Rasga, João / Sernadas, Cristina et al. | 2020
- 243
-
Positive AmalgamationBelkasmi, Mohammed et al. | 2020
- 259
-
Introducing H, an Institution-Based Formal Specification and Verification LanguageDiaconescu, Răzvan et al. | 2020
- 279
-
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of ChoiceMiller, David W. et al. | 2020