Travelled to:1 × Italy
1 × Taiwan
Collaborated with:∅ M.Kudlek
Talks about:languag (2) graph (2) hierarchi (1) program (1) grammar (1) correct (1) shuffl (1) recurs (1) condit (1) relat (1)
Person: Nils Erik Flick
DBLP: Flick:Nils_Erik
Contributed to:
2015
20122013Wrote 3 papers:
- GCM-2015-Flick #correctness #graph #on the #recursion #source code
- On Correctness of Graph Programs Relative to Recursively Nested Conditions (NEF), pp. 97–112.
- DLT-2012-FlickK #on the
- On a Hierarchy of Languages with Catenation and Shuffle (NEF, MK), pp. 452–458.
- GCM-J-2012-Flick #graph grammar
- Derivation Languages of Graph Grammars (NEF).