Login / Signup
A Short Proof of Representability of Fork Algebras.
Viktor Gyuris
Published in:
Log. J. IGPL (1995)
Keyphrases
</>
spatial reasoning
mathematical proofs
information retrieval
artificial intelligence
boolean functions
theorem prover
linear logic
topological spaces
clifford algebra
real time
databases
social networks
information systems
optimal solution
data structure