Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss.

Daniil Kozhemiachenko

Published in: CoRR (2024)

Keyphrases

simulation model
mathematical models
simulation models
learning systems
mathematical model
linear logic
data sets
databases
real world
information retrieval
multimedia
relational databases
intelligent systems
computer systems
systems require