Login / Signup

Program Schemata Technique to Solve Propositional Program Logics Revised.

Nikolay Shilov
Published in: Ershov Memorial Conference (2015)
Keyphrases
  • expert systems
  • test cases
  • first order logic
  • expressive power
  • propositional logic
  • mathematical programming