Expressing BBUFs Lookup Using the π-Calculus.

Gabriel Ciobanu Dan Cojocar

Published in: SYNASC (2014)

Keyphrases

computer algebra
knowledge representation
neural network
information retrieval
information systems
automated deduction
database
databases
artificial intelligence
search algorithm
relational databases
artificial neural networks
formal language