A short proof of the Baker-Pixley theorem for classes.

Miguel Campercholi Diego Vaggione

Published in: Int. J. Algebra Comput. (2023)

Keyphrases

multi agent systems
interactive theorem proving
cellular automata
theorem prover
linear logic
neural network
data mining
object recognition
relational databases
object oriented
automated theorem proving