Complexité et automates cellulaires linéaires.

Valérie Berthé

Published in: RAIRO Theor. Informatics Appl. (2000)

Keyphrases

special case
situation calculus
high level
integrity constraints
description logics
semantic web
database management systems
graph structure
finite state machines