共 50 条
- [21] Constraint-based termination analysis of logic programs ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (06): : 1137 - 1195
- [24] A logic for constraint-based security protocol analysis 2006 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2006, : 155 - 168
- [26] Analysis Operations for Constraint-based Recommender Systems PROCEEDINGS OF THE 17TH ACM CONFERENCE ON RECOMMENDER SYSTEMS, RECSYS 2023, 2023, : 709 - 714
- [27] Contradiction Analysis for Constraint-based Random Simulation 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 154 - +
- [28] Constraint-based approach for analysis of hybrid systems COMPUTER AIDED VERIFICATION, 2008, 5123 : 190 - +
- [29] A Constraint-Based Analysis of Coda in Kelantan Dialect GEMA ONLINE JOURNAL OF LANGUAGE STUDIES, 2012, 12 (04): : 1127 - 1145
- [30] SYSTEMS BIOLOGY: CONSTRAINT-BASED RECONSTRUCTION AND ANALYSIS QUARTERLY REVIEW OF BIOLOGY, 2017, 92 (03): : 303 - 304