Login / Signup
Completeness of Finitely Weighted Kleene Algebra with Tests.
Igor Sedlár
Published in:
WoLLIC (2024)
Keyphrases
</>
propositional logic
regular expressions
data quality
query language
weighted graph
database
neural network
feature selection
image segmentation
search algorithm
data model
test cases
finite number
inductive inference
algebraic structure
algebraic expressions