Keyword:data structures

Publications
Shared Terms and Cached Rewriting Stephan Schulz In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Learning Data Structure Shapes from Memory Graphs Jan H. Boockmann and Gerald Luettgen In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Algebraic Backgrounds for Data Structures Models Volodymyr G. Skobelev EasyChair Preprint 1702
Using Student Logs to Build Bayesian Models of Student Knowledge and Skills Huy Nguyen and Chun Wai Liew EasyChair Preprint 284