共 50 条
- [42] Efficient Parametric Runtime Verification with Deterministic String Rewriting 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 70 - 80
- [43] Solving the SAT problem with the string multiset rewriting calculus Computing, 2024, 106 : 1321 - 1334
- [44] On Regularity-Preservation by String-Rewriting Systems LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2008, 5196 : 345 - 356
- [45] Infinite Families of Finite String Rewriting Systems and Their Confluence LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 387 - +