共 50 条
- [32] Improving code quality in ROS packages using a temporal extension of first-order logic 2018 SECOND IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC), 2018, : 1 - 8
- [33] Extension of the Hartree-Fock Plus Dispersion Method by First-Order Correlation Effects JOURNAL OF PHYSICAL CHEMISTRY LETTERS, 2010, 1 (02): : 550 - 555
- [35] A First-Order Calculus for Allegories RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2011, 6663 : 74 - 91
- [36] A First-Order Logic with Frames PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 515 - 543
- [37] The First-Order Nominal Link LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2011, 6564 : 234 - 248
- [38] Extended First-Order Logic THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2009, 5674 : 164 - 179