Temporal Predicat Transformers and Fair Termination.

Joseph M. Morris

Published in: Acta Informatica (1990)

Keyphrases

temporal information
temporal databases
spatio temporal
temporal reasoning
temporal constraints
temporal data
temporal analysis
neural network
data sets
machine learning
evolutionary algorithm
spatial and temporal
temporal dimension
temporal behavior
temporal characteristics
term rewriting