Computing permutation encodings

DOI10.1007/S001650050036zbMath0941.68156OpenAlexW2112452948MaRDI QIDQ1125690

K. Rustan, K. Rustan M. Leino

Publication date: 2 January 2000

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://authors.library.caltech.edu/26789/

zbMATH Keywords

permutation encoding algorithm

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Permutations, words, matrices (05A05)

This page was built for publication: Computing permutation encodings