More on Nonregular PDL: Finite Models and Fibonacci-Like Programs.

David Harel Eli Singerman

Published in: Inf. Comput. (1996)

Keyphrases

statistical models
complex systems
case study
search engine
mathematical models
probabilistic model
statistical model
model selection
dynamic logic
accurate models
computational models
experimental data
databases
expert systems
multi agent
computer vision
real world