A Logical Characterization of Systolic Languages.

Angelo Monti Adriano Peron

Published in: STACS (1998)

Keyphrases

expressive power
databases
language independent
target language
relational query languages
information systems
computer programs
spoken language
data sets
real world
search engine
website
expert systems
probabilistic logic
logical representation
logical reasoning