Solving equation systems in ω-categorical algebras.

Manuel Bodirsky Thomas Quinn-Gregson

Published in: J. Math. Log. (2021)

Keyphrases

intelligent systems
decision making
learning systems
multiscale
distributed systems
database
management system
digital libraries
linear systems
temporal constraints
mathematical model
software engineering
multi agent systems
search algorithm
website
image processing
artificial intelligence
real time