Cited By
View all- Lienhardt M(2024)The Hrewrite Library: A Term Rewriting Engine for Automatic Code AssemblyRewriting Logic and Its Applications10.1007/978-3-031-65941-6_9(165-178)Online publication date: 6-Apr-2024
- Bednarczyk BFiuk O(2022)Presburger Büchi Tree Automata with Applications to Logics with Expressive CountingLogic, Language, Information, and Computation10.1007/978-3-031-15298-6_19(295-308)Online publication date: 20-Sep-2022
- Boneva ICiucanu RStaworko S(2015)Schemas for Unordered XML on a DIMETheory of Computing Systems10.1007/s00224-014-9593-157:2(337-376)Online publication date: 1-Aug-2015
- Show More Cited By