Predicative Polymorphism in Pi-Calculus.

Vasco Thudichum Vasconcelos

Published in: PARLE (1994)

Keyphrases

database programming language
automated deduction
database
neural network
data mining
formal language
genetic algorithm
website
bayesian networks
expert systems
mathematical model
algebraic structure