A Weak First-Order Theory of Sequences.

Lars Kristiansen Juvenal Murwanashyaka

Published in: CiE (2024)

Keyphrases

information systems
theoretical basis
case study
higher order
computational model
logic programming
theoretical framework
first order logic
databases
neural network
search engine
sequential patterns
decision theory
classical first order logic