Search CORE

140 research outputs found

Ten years of Hoare s logic, a survey, part II: n ondeterminism

Author: Apt K.R. (Krzysztof)
Publication venue: 'Elsevier BV'
Publication date: 01/01/1984
Field of study

Specifying fault tolerant programs in deontic logic

Author: Coenen J.A.A.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1991
Field of study

Repository TU/e

Assertional data reification proofs : surveys and perspective

Author: Coenen J.A.A.
Roever de, W.P.
Zwiers J.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1991
Field of study

Repository TU/e

A logic for one-pass, one-attributed grammars

Author: Marcelis A.J.J.M.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1990
Field of study

Repository TU/e

Bibliographie

Author
Publication venue
Publication date: 01/01/1989
Field of study

University of Szeged

…

core

core