Loading the player...


INFO:
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity - TIB AV-Portal