Specifying graph languages with type graphs

Andrea Corradini, Barbara König 0001, Dennis Nolte. Specifying graph languages with type graphs. Journal of Logic and Algebraic Programming, 104:176-200, 2019. [doi]

Abstract

Abstract is missing.