Fixed points in the power set algebra of infinite trees von Tiuryn, Jerzy

Unique fixed points vs. least fixed points von Tiuryn, Jerzy

Algebraiczne Podstawy teorii maszyn von Tiuryn, Jerzy

Dynamic logic von Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

Inhaltsverzeichnis

Logics of programs von Kozen, Dexter 1951-, Tiuryn, Jerzy

Another incompleteness theorem for Hoare's logic von Bergstra, Jan A. 1951-, Cmielienska, A., Tiuryn, Jerzy

Fixed-points and algebras with infinitely long expressions von Tiuryn, Jerzy

M-groupoid as a tool to investigate mathematical models of computers von Tiuryn, Jerzy

Fixed-points and algebras with infinitely long expressions von Tiuryn, Jerzy

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

PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness von Bergstra, Jan A. 1951-, Tiuryn, Jerzy

Process algebra semantics for queues von Bergstra, Jan A. 1951-, Tiuryn, Jerzy

Logic of effective definitions von Tiuryn, Jerzy

Fixed-points and algebras with infinitely long expressions von Tiuryn, Jerzy

Floyd's principle, correctness theories and program equivalence von Bergstra, Jan A. 1951-, Tiuryn, Jerzy, Tucker, John V.

Dynamic logic / von Harel, David, 1950-

Weitere Verfasser: Volltext öffnen