GRABMAYER, CLEMENS ARMIN
 Distribuzione geografica
Continente #
EU - Europa 2
Totale 2
Nazione #
DE - Germania 1
GB - Regno Unito 1
Totale 2
Città #
Bristol 1
Totale 1
Nome #
Proceedings Twelfth International Workshop on Computing with Terms and Graphs Technion, Haifa, Israel, 1st August 2022 3
From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes 1
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions) 1
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity 1
Modeling terms by graphs with structure constraints (two illustrations) 1
A coinductive version of Milner's proof system for regular expressions modulo bisimilarity 1
Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions 1
The Image of the Process Interpretation of Regular Expressions Is Not Closed under Bisimulation Collapse 1
A Coinductive Reformulation of Milner's Proof System For Regular Expressions Modulo Bisimilarity 1
Totale 11
Categoria #
all - tutte 57
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 57


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/202511 0 0 0 0 0 11 0 0 0 0 0 0
Totale 11