GRABMAYER, CLEMENS ARMIN
GRABMAYER, CLEMENS ARMIN
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.011 secondi).
A Coinductive Reformulation of Milner's Proof System For Regular Expressions Modulo Bisimilarity
2023-01-01 Grabmayer, C.
A coinductive version of Milner's proof system for regular expressions modulo bisimilarity
2021-01-01 Grabmayer, C.
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity
2020-01-01 Grabmayer, C.; Fokkink, W.
From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
2024-01-01 Grabmayer, C.
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)
2022-01-01 Grabmayer, C.
Modeling terms by graphs with structure constraints (two illustrations)
2019-01-01 Grabmayer, C.
Proceedings Twelfth International Workshop on Computing with Terms and Graphs Technion, Haifa, Israel, 1st August 2022
2023-01-01 Kesner, Delia; Endrullis, Jörg; Pshenitsyn, Tikhon; van Oostrom, Vincent; Overbeek, Roy; Endrullis, Jörg; Mell, Stephen; Bastani, Osbert; Zdancewic, Steve; Grabmayer, Clemens
Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions
2021-01-01 Grabmayer, C.
The Image of the Process Interpretation of Regular Expressions Is Not Closed under Bisimulation Collapse
2023-01-01 Grabmayer, C.