Merkliste 
 1 Ergebnisse 
 
1

On Regular Expression Proof Complexity of Salomaa's Axiom S..:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,
Beier, Simon ; Holzer, Markus - p. 72-100 , 2024