Ein Ansatz zur Integration von Pfadausdrücken in Frame-Logik

Heinz Uphoff. Ein Ansatz zur Integration von Pfadausdrücken in Frame-Logik. PhD thesis, University of Freiburg, 1997. [doi]

Abstract

Abstract is missing.