A
Menu
November 19, 2021 article Aachen paper

Separation logic and logics with team semantics

Annals of Pure and Applied Logic, vol. 173, pp. 103063

DOI: 10.1016/j.apal.2021.103063 OpenAlex

Authors 3

  1. Darion Haase Aachen Mathematical Foundations of Computer Science

    RWTH Aachen University

    Affiliation as printed

    Mathematical Foundations of Computer Science, RWTH Aachen University, 52056 Aachen, Germany

  2. Erich Grädel corresponding Aachen Mathematical Foundations of Computer Science

    RWTH Aachen University

    Affiliation as printed

    Mathematical Foundations of Computer Science, RWTH Aachen University, 52056 Aachen, Germany

  3. Richard Wilke Aachen Mathematical Foundations of Computer Science

    RWTH Aachen University

    Affiliation as printed

    Mathematical Foundations of Computer Science, RWTH Aachen University, 52056 Aachen, Germany

Cited by 3 stored of 3

3 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 34