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

Theoretical Pearl: A simple proof of a folklore theorem about delimited control.

Dariusz BiernackiOlivier Danvy
Published in: J. Funct. Program. (2006)
Keyphrases
  • information retrieval
  • neural network
  • control system
  • theoretical analysis
  • control problems
  • control theory
  • highly reliable
  • databases
  • website
  • conditional independence
  • interactive theorem proving