Generalization of Shapiro's theorem to higher arities and noninjective notations.

Dariusz Kalocinski Michal Wroclawski

Published in: Arch. Math. Log. (2023)

Keyphrases

database
databases
von neumann
levels of abstraction
information retrieval
image processing
database systems
expert systems
medical images
answer set programming
modeling language
interactive theorem proving