Login / Signup

EOLANG and phi-calculus.

Yegor Bugayenko

Published in: CoRR (2021)

Keyphrases

website
provably correct
database systems
bayesian networks
artificial neural networks
computer algebra