Pages that link to "Item:Q820129"
From MaRDI portal
The following pages link to Formal design and verification of operational transformation algorithms for copies convergence (Q820129):
Displaying 7 items.
- Formal design and verification of operational transformation algorithms for copies convergence (Q820129) (← links)
- Specification and space complexity of collaborative text editing (Q2220887) (← links)
- Verified Operational Transformation for Trees (Q2829271) (← links)
- (Q5091083) (← links)
- Normalization of edit sequences for text synchronization (Q5198935) (← links)
- Algebraic Methodology and Software Technology (Q5312983) (← links)
- A Mechanically Verified AIG-to-BDD Conversion Algorithm (Q5747668) (← links)