Keyword:complete

Publications
The Interesting and Complete Artificial Intelligence (ICAI) – Version 1 Satish Gajawada and Hassan Mustafa EasyChair Preprint 7001
A Combinator-Based Superposition Calculus for Higher-Order Logic (Technical Report) Ahmed Bhayat and Giles Reger EasyChair Preprint 3192
Invariance: a theoretical approach for coding sets of words modulo literal (anti)morphisms Jean Néraud and Carla Selmi EasyChair Preprint 2198
Complete Variable-Length Codes: An Excursion into Word Edit Operations Jean Néraud EasyChair Preprint 2195