Cirquent calculus deepened

Giorgi Japaridze

Published in: CoRR (2007)

Keyphrases

database systems
data structure
proof procedure
artificial intelligence
metadata
decision trees
multi agent
automated theorem proving
algebraic structure
computer algebra
timed automata