Craig Interpolation for Linear Temporal Languages.

Amélie Gheerbrant Balder ten Cate

Published in: CSL (2009)

Keyphrases

temporal information
expressive power
spatial and temporal
temporal databases
temporal constraints
linear systems
databases
temporal reasoning
language independent
linear model
neural network
data sets
space time
image quality
data model
grammatical inference
temporal consistency
language identification