2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Andrea Corradini, Barbara König, Dennis Nolte
We investigate three formalisms to specify graph languages, i.e. sets of graphs, based on type graphs. First, we are interested in (pure) type graphs, where the corresponding langu…