Works cited by this work

16 works

Work: Hoare logic for GOLOG programs

1. First-Order Dynamic Logic

   David Harel

   Book19793 citations

   ABIABI:AkademIndex/openalex/2026.other.598277

2. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.915334

3. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.915335

4. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.915336

5. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.915337

6. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.915338

7. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.915339

8. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.915340

9. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.915341

10. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.915342

11. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.915343

12. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.915344

13. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.915345

14. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.915346

15. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.915347

16. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.915348