External Links

    Journal: Formal Asp. Comput.

    Volume 6, Issue 6A

    743 -- 765Krzysztof R. Apt, Elena Marchiori. Reasoning About Prolog Programs: From Modes Through Types to Assertions
    766 -- 787Jan van Eijck. Presupposition Failure-A Comedy of Errors
    788 -- 800Marcello M. Bonsangue, Joost N. Kok. The Weakest Precondition Calculus: Recursion and Duality
    801 -- 826Jozef Hooman. Extending Hoare Logic to Real-Time
    826 -- 845Michael R. Hansen. Model-Checking Discrete Duration Calculus
    runs on