共 50 条
- [25] CANONICAL STRUCTURES OF UNICOMPONENT AMORPHOUS SOLIDS FIZIKA METALLOV I METALLOVEDENIE, 1987, 63 (04): : 665 - 671
- [27] Asymptotics of Canonical RNA Secondary Structures 2009 9TH IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOENGINEERING, 2009, : 184 - +
- [30] Canonical Structures for the Working Coq User INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 19 - 34