Login / Signup
Pseudo-partitions, Transversality and Locality: A Combinatorial Characterization for the Space Measure in Algebraic Proof Systems.
Ilario Bonacina
Nicola Galesi
Published in:
Electron. Colloquium Comput. Complex. (2012)
Keyphrases
</>
distributed systems
similarity measure
database
artificial intelligence
information retrieval systems
computer systems
real time
genetic algorithm
social networks
case study
computational geometry
linear logic