3 citations · 3 across the 4 of their papers we have counts for
4 papers
Proceedings Twelfth International Workshop on Computing with Terms and Graphs
Clemens Grabmayer
The workshop TERMGRAPH 2022 took place at Technion in Haifa, Israel, on August 1, 2022, in the Pre-FLoC workshop block (July 31-August 1) of FLoC 2022 (Federated Logic Conference 2…
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)
Clemens Grabmayer
Milner (1984) defined a process semantics for regular expressions. He formulated a sound proof system for bisimilarity of process interpretations of regular expressions, and asked…
Regularity Preserving but not Reflecting Encodings
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Encodings, that is, injective functions from words to words, have been studied extensively in several settings. In computability theory the notion of encoding is crucial for defini…
Nested Term Graphs (Work In Progress)
Clemens Grabmayer, Vincent van Oostrom
We report on work in progress on 'nested term graphs' for formalizing higher-order terms (e.g. finite or infinite lambda-terms), including those expressing recursion (e.g. terms in…