Similar Items: Well-definedness of Streams by Transformation and Termination
- Termination of Cycle Rewriting by Transformation and Matrix Interpretation
- Termination of Graph Transformation Systems Using Weighted Subgraph Counting
- Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
- Lossless Compression and Data Transformation Techniques on QR Code Binary Bit Stream
- Algebraic Notions of Termination
- Deciding Conditional Termination