Treffer 1 – 16 von 16 für Suche 'Tiuryn, Jerzy', Suchdauer: 0,06s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Fixed points in the power set algebra of infinite trees von Tiuryn, Jerzy
Veröffentlicht 1979Signatur: Wird geladen …
Standort: Wird geladen … -
2
Unique fixed points vs. least fixed points von Tiuryn, Jerzy
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen … -
3
Algebraiczne Podstawy teorii maszyn von Tiuryn, Jerzy
Veröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen … -
4
Dynamic logic von Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy
Veröffentlicht 2000Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
5
Logics of programs von Kozen, Dexter 1951-, Tiuryn, Jerzy
Veröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen … -
6
Another incompleteness theorem for Hoare's logic von Bergstra, Jan A. 1951-, Cmielienska, A., Tiuryn, Jerzy
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
7
Fixed-points and algebras with infinitely long expressions von Tiuryn, Jerzy
Veröffentlicht 1977Signatur: Wird geladen …
Standort: Wird geladen … -
8
M-groupoid as a tool to investigate mathematical models of computers von Tiuryn, Jerzy
Veröffentlicht 1976Signatur: Wird geladen …
Standort: Wird geladen … -
9
Fixed-points and algebras with infinitely long expressions von Tiuryn, Jerzy
Signatur: Wird geladen …
Standort: Wird geladen … -
10
An Introduction to first-order programming logics a course given at the Inter-Univ. Center for Postgraduate Studies, Dubrovnik, Jan. 15 - 30, 1983 von Tiuryn, Jerzy
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
11
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness von Bergstra, Jan A. 1951-, Tiuryn, Jerzy
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
12
Process algebra semantics for queues von Bergstra, Jan A. 1951-, Tiuryn, Jerzy
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
13
Logic of effective definitions von Tiuryn, Jerzy
Veröffentlicht 1979Signatur: Wird geladen …
Standort: Wird geladen … -
14
Fixed-points and algebras with infinitely long expressions von Tiuryn, Jerzy
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen … -
15
Floyd's principle, correctness theories and program equivalence von Bergstra, Jan A. 1951-, Tiuryn, Jerzy, Tucker, John V.
Signatur: Wird geladen …
Standort: Wird geladen … -
16
Dynamic logic / von Harel, David, 1950-
Veröffentlicht 2000Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …