Neighbourhood Canonicity for Ek, eCK, and Relatives: a Constructive Proof.

Frederik Van De Putte Paul McNamara

Published in: Rev. Symb. Log. (2022)

Keyphrases

theorem prover
theorem proving
linear logic
neural network
cooperative
relational databases
user interface
evolutionary algorithm