共 50 条
- [32] Automated Termination Analysis for Programs with Second-Order Recursion TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2010, 6015 : 221 - 235
- [33] Second-Order Properties of Undirected Graphs RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2021), 2021, 13027 : 209 - 224
- [34] REGULARITY PROPERTIES OF SECOND-ORDER PROCESSES NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (02): : A329 - A329
- [40] Second-order vibrational lineshapes from the air/water interface ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2019, 258