Intersection of two monoids generated by two element codes.

Stepan Holub Stepán Starosta

Published in: Arch. Formal Proofs (2023)

Keyphrases

error correction
databases
automatically generated
data sets
decision making
computational complexity
expert systems
human generated