New programs and open problems in the foundation of mathematics.

Giuseppe Longo P. Scott

Published in: Bull. Symb. Log. (2003)

Keyphrases

open problems
database theory
long standing
computer programs
computer science
computational advertising
multidatabase transaction management
artificial intelligence
programming environment
intermediate level
electrical engineering
databases
distributed systems
theoretical foundation
answer sets
computer algebra