• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Reasoning about Partial Correctness Assertions in Isabelle/HOL.

Alfio Ricardo de Brito Martini
Published in: RITA (2020)
Keyphrases
  • theorem prover
  • natural deduction
  • inference rules
  • theorem proving
  • first order logic
  • higher order logic
  • knowledge base
  • database
  • real time
  • databases
  • spatial reasoning
  • logical framework
  • formal theory