Algebraic specification of documents
From MaRDI portal
Publication:1129133
DOI10.1016/S0304-3975(97)00274-0zbMath0902.68122MaRDI QIDQ1129133
Publication date: 13 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
68U15: Computing methodologies for text processing; mathematical typography
Uses Software
Cites Work