Volume: Vol-3835 NMR 2024 | Year: 2024

Paper: « paper1 | paper2 | paper3 »

Linear Algebraic Partial Evaluation of Logic Programs

• Tuan Nguyen (disambiguation) dblp
• Chiaki Sakama ORCID dblp
• Katsumi Inoue ORCID dblp

14-23 PDF