共 50 条
- [21] Verifying Graph Programs with Monadic Second-Order Logic GRAPH TRANSFORMATION, ICGT 2021, 2021, 12741 : 240 - 261
- [22] ON CONSISTENCY OF A FRAISSE-HYPOTHESIS ON DEFINABILITY IN A LANGUAGE OF SECOND-ORDER COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1973, 276 (18): : 1169 - 1172
- [23] Yablo’s Paradox in Second-Order Languages: Consistency and Unsatisfiability Studia Logica, 2013, 101 : 601 - 617
- [27] Second-order matching prior family parametrized by sample size and matching probability Statistical Papers, 2020, 61 : 1701 - 1717
- [28] STIMULUS FUNCTIONS IN A MULTIPLE SECOND-ORDER SCHEDULE PSYCHONOMIC SCIENCE, 1972, 29 (05): : 323 - &
- [29] Inclusion of a Second-Order Prior into Semi-Global Matching ADVANCES IN IMAGE AND VIDEO TECHNOLOGY, PROCEEDINGS, 2009, 5414 : 633 - +
- [30] NM Verifying Monadic Second-Order Properties of Graph Programs GRAPH TRANSFORMATION, 2014, 8571 : 33 - 48