Direkt zum Inhalt

Publikationen

2008

  • Denotation by Transformation

    Braßel, B. ., & Christiansen, J. . (2008). Denotation by Transformation. In A. . King (Hrsg.), Logic-Based Program Synthesis and Transformation (S. 90–105). Springer Berlin Heidelberg.

    Abstract

    Weiterführende Links

    Filter Tags

  • A Relation Algebraic Semantics for a Lazy Functional Logic Language

    Braßel, B. ., & Christiansen, J. . (2008). A Relation Algebraic Semantics for a Lazy Functional Logic Language. In R. . Berghammer, B. . Möller, & G. . Struth (Hrsg.), Relations and Kleene Algebra in Computer Science (S. 37–53). Springer Berlin Heidelberg.

    Abstract

    Weiterführende Links

    Filter Tags