Search results for: Hai-Feng Guo
Gondwana Research > 2017 > 41 > C > 77-92
Journal of Central South University > 2016 > 23 > 9 > 2453-2464
Lecture Notes in Computer Science > Logic Programming > Posters > 500-501
Lecture Notes in Computer Science > Functional and Logic Programming > Refereed Papers Logic and Functional-Logic Programming > 24-38
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 158-159
Lecture Notes in Computer Science > Logic Programming > Posters > 485-486
Lecture Notes in Computer Science > Data Mining and Knowledge Management > Data Mining Methodology > 34-40
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Regular Papers > 82-100
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Algorithms and Computation > 253-265
Computer Languages, Systems & Structures > 2016 > 45 > C > 204-219
Software: Practice and Experience > 45 > 11 > 1519 - 1547
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 4 > 437-455