Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem.

Adriano Barile Stefano Berardi Luca Roversi

Published in: ICTCS (2023)

Keyphrases

quantum computing
termination analysis
presburger arithmetic
active rules
cellular automata
boolean functions
markov chain
real valued
rewrite rules
database
relational databases
boolean queries
rewriting rules
term rewrite systems
truth table
rewrite systems
quantifier elimination
data sets