On Complexity of Confluence and Church-Rosser Proofs.

Arnold Beckmann Georg Moser

Published in: MFCS (2024)

Keyphrases

special case
database
image sequences
expert systems
artificial neural networks
space complexity
theorem proving
theorem prover
worst case
computational cost
np hard
evolutionary algorithm
information technology
computational complexity
multi agent systems
video sequences
machine learning
data sets