Keyword:complete

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