Completeness of Nominal PROPs.

Samuel Balco Alexander Kurz

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

database
neural network
genetic algorithm
social networks
high level
database systems
expert systems
artificial neural networks
evolutionary algorithm
distributed systems