The Identity Problem in ℤ ≀ ℤ Is Decidable.

Published in: ICALP (2023)

Keyphrases

first order logic
e learning
object oriented databases
datalog programs
function symbols
polynomial hierarchy
database
databases
neural network
knowledge base
decision trees
case study
data model
social context