Reh, Carl Philipp
- Grammar-based Compression of Unranked Trees
2018/02/15 by Adrià Gascón, Markus Lohrey, Gascón, Adrià +7 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Formal Methods in Verification #Logic, programming, and type systems
- The smallest grammar problem revisited
2019/08/18 by Bannai, Hideo, Hirayama, Momoko, Hucke, Danny +4 · 1 citation
#Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences