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

On Decidable Growth-Rate Properties of Imperative Programs

Amir M. Ben-Amram
Published in: DICE (2010)
Keyphrases
  • imperative programs
  • growth rate
  • dynamic logic
  • knowledge base
  • machine learning
  • information technology
  • first order logic