-Cartesian functor categories: Rewriting theory and application to partial triple graphs.

Published in: J. Log. Algebraic Methods Program. (2020)

Keyphrases