共 50 条
- [31] Analysis of noise in higher-order translinear filters Proceedings - IEEE International Symposium on Circuits and Systems, 1999, 6
- [32] Analysis of noise in higher-order translinear filters ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 6: CIRCUITS ANALYSIS, DESIGN METHODS, AND APPLICATIONS, 1999, : 61 - 64
- [33] Validating and Animating Higher-Order Recursive Functions in B RIGOROUS METHODS FOR SOFTWARE CONSTRUCTION AND ANALYSIS: EASSYS DEDICATED TO EGON BORGER ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5115 : 78 - +
- [36] RECURSIVE GENERATION OF HIGHER-ORDER TERMS IN THE MAGNUS EXPANSION PHYSICAL REVIEW A, 1989, 39 (07): : 3270 - 3273
- [37] Coq formalization of the higher-order recursive path ordering Applicable Algebra in Engineering, Communication and Computing, 2009, 20 : 379 - 425
- [38] A higher-order function approach to evolve recursive programs GENETIC PROGRAMMING THEORY AND PRACTICE III, 2006, 9 : 93 - 108
- [39] On the Termination Problem for Probabilistic Higher-Order Recursive Programs 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,