Rationality of division orderings
From MaRDI portal
Publication:1209367
DOI10.1016/0020-0190(92)90105-5zbMath0764.68150MaRDI QIDQ1209367
Elizabeth A. Scott, David A. Cohen
Publication date: 16 May 1993
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(92)90105-5
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
Related Items
Cites Work