Login / Signup
A Hoare-style Proof System for LOTOS.
S. Gallouzi
Luigi Logrippo
Abdellatif Obaid
Published in:
FORTE (1990)
Keyphrases
</>
modal logic
computer vision
temporal ordering
database
machine learning
information retrieval
case study
similarity measure
data structure
linear logic