Login / Signup
Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations.
Walter Guttmann
Published in:
Arch. Formal Proofs (2021)
Keyphrases
</>
database transactions
objective function
expert systems
spatial reasoning
sequential data
data sets
databases
machine learning
information retrieval
social networks
temporal reasoning
sequential search
clifford algebra