Verfasser Suchresultate :: Subito Katalog

1

Four institutions : a unified presentation of logical systems for specification

Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

How to cope with the spectrum of spectrum

Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen : totale Algebren

von Wolter, Uwe
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

How to cope with the spectrum of Spectrum

Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

How to cope with the spectrum of SPECTRUM

Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Four institutions : a unified presentation of logical systems for specification

Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Four institutions : a unified presentation of logical systems for specification

Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen, totale Algebren

von Wolter, Uwe
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Spot evolution and differential rotation of the ultrafast rotator Speedy Mic

von Wolter, Uwe
Veröffentlicht 2004

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen : totale Algebren

von Wolter, Uwe
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Special issue: the 24th Nordic Workshop on Programming Theory (NWPT 2014) : [... took place in Bergen, Norway, during 31 October - 2 November 2012]

Veröffentlicht 2014

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Parametric algebraic specifications with Gentzen-formulas : free functor semantics and correctness

von Löwe, Michael
Veröffentlicht 1992

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness

von Löwe, Michael
Veröffentlicht 1992

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach

von König, Harald
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness

von Loewe, Michael
Veröffentlicht 1992

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Multilevel Typed Graph Transformations

von Wolter, Uwe
Veröffentlicht in ICGT (13. : 2020 : Online) Graph transformation (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

On the role of category theory in the area of algebraic specifications

von Ehrig, Hartmut
Veröffentlicht 1995

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

On the role of category theory in the area of algebraic specifications

von Ehrig, Hartmut
Veröffentlicht 1995

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Categorical concepts for parameterized partial specifications

von Classen, Ingo
Veröffentlicht 1992

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Categorical concepts for parameterized partial specifications

von Claßen, Ingo
Veröffentlicht 1992

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: