Thue Specifications and Their Monadic Second-order Properties.

Teodor Knapik Hugues Calbrix

Published in: Fundam. Informaticae (1999)

Keyphrases

high level
higher order
structural properties
desirable properties
real time
datalog queries
information systems
case study
high order
deductive databases
datalog programs
query containment