Complexity of Algebraic Specification.

Ramesh Subrahmanyam

Published in: FSTTCS (1990)

Keyphrases

database
computational complexity
artificial intelligence
space complexity
higher order
formal specification
decision problems
worst case
data sets
video sequences
optimal solution
computational cost
high level
feature selection
programming language
user defined
information systems
social networks