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

A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.

Franco MontagnaG. Michele PinnaElisa B. P. Tiezzi
Published in: Math. Log. Q. (2000)
Keyphrases
  • metric temporal logic
  • frequency domain
  • modal logic
  • stereo correspondence
  • neural network
  • asymptotically optimal
  • truth table
  • genetic algorithm
  • search engine
  • website
  • multiresolution
  • orders of magnitude