Login / Signup

Image Reflection on LLEE Charts - Another Proof for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity.

Yuanrui ZhangXinxin Liu
Published in: CoRR (2023)
Keyphrases
  • regular expressions
  • pattern matching
  • input image
  • low level
  • object oriented
  • database
  • query language
  • building blocks
  • integrity constraints