Combinatorics with definable sets: Euler characteristics and Grothendieck rings.

Jan Krajícek Thomas Scanlon

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

Keyphrases

neural network
graph theory
databases
face recognition
data model
rough sets
first order logic
differential equations
transitive closure