Keyword:Mathematical Induction

Publications
Induction Models on $\mathbb{N}$ A. Dileep, Kuldeep S. Meel and Ammar F. Sabili In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Extending VIAP to Handle Array Programs Pritom Rajkhowa and Fangzhen Lin EasyChair Preprint 393