Interpreting the weak monadic second order theory of the ordered rationals.

John Kenneth Truss

Published in: Math. Log. Q. (2022)

Keyphrases

higher order
theoretical framework
neural network
image processing
high order
deductive databases
general theory
real time
real world
social networks
rough sets
theoretical foundation
formal theory