Quillen Model Categories-Based Notions of Locality of Logics over Finite Structures.

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

Keyphrases

mathematical model
experimental data
statistical model
high level
formal model
data sets
probabilistic model
computational model
theoretical analysis
network model
finite number