A Simple and Flexible Timing Constraint Logic.

Björn Lisper Johan Nordlander

Published in: ISoLA (2) (2012)

Keyphrases

asynchronous circuits
natural language
highly reliable
real time
databases
machine learning
website
decision trees
similarity measure
description logics
lightweight
expressive power
automated reasoning
classical logic