共 50 条
- [3] Inheritance in higher order logic: Modeling and reasoning THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 301 - 319
- [5] Reasoning about higher-order processes TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 202 - 216
- [6] Promoting analogical reasoning in general chemistry laboratory experiments ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2018, 255
- [7] Examining student analogical reasoning in introductory chemistry laboratory ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2015, 249
- [10] Bialgebraic Reasoning on Higher-Order Program Equivalence PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,