共 50 条
- [41] Semantics of Higher-Order Quantum Computation via Geometry of Interaction 26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011), 2011, : 237 - 246
- [42] The Geometry and Electronic Topology of Higher-Order Charged Mobius Annulenes JOURNAL OF PHYSICAL CHEMISTRY A, 2009, 113 (43): : 11619 - 11629
- [44] Verifying a Hash Table and Its Iterators in Higher-Order Separation Logic PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17, 2017, : 3 - 16
- [45] Verification of higher-order discontinuous Galerkin method for hexahedral elements COMPTES RENDUS MECANIQUE, 2005, 333 (09): : 719 - 725
- [47] Introduction of Functional and Higher-Order Elements in Bond Graphs '95) Simulation Councils Proceedings Series, 1994, 27 (01):