共 50 条
- [1] An international assessment of the metrological equivalence of higher-order measurement services for creatinine in serum [J]. Analytical and Bioanalytical Chemistry, 2012, 403 : 527 - 535
- [2] Bialgebraic Reasoning on Higher-Order Program Equivalence [J]. PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
- [5] Dual equivalence in models with higher-order derivatives [J]. JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2003, 36 (38): : 9943 - 9959
- [6] Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (344): : 36 - 64
- [7] Proving the Equivalence of Higher-Order Terms by Means of Supercompilation [J]. PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 193 - 205
- [8] HOMER: A Higher-Order Observational Equivalence Model checkER [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 654 - 660
- [9] Behavioural equivalence and indistinguishability in higher-order typed languages [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 284 - 298
- [10] HIGHER-ORDER SPACE-TIME CONTACTS AND EQUIVALENCE [J]. JOURNAL OF MATHEMATICAL PHYSICS, 1991, 32 (10) : 2722 - 2726