Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bunch, Carter"'
Autor:
Bunch, Carter, Satterfield, Saraid Dwyer, Erbatur, Serdar, Marshall, Andrew M., Ringeissen, Christophe
We introduce a new form of restricted term rewrite system, the graph-embedded term rewrite system. These systems, and thus the name, are inspired by the graph minor relation and are more flexible extensions of the well-known homeomorphic-embedded pro
Externí odkaz:
http://arxiv.org/abs/2401.17226
