Sign in

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

Jens KosiolLars FritscheAndy SchürrGabriele Taentzer
Published in: J. Log. Algebraic Methods Program. (2020)
Keyphrases
  • complex objects
  • genetic algorithm
  • decision support