HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:A. Dileep

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

Keyphrases

equivalence, Induction Models, Mathematical Induction, reduction.

Copyright © 2012-2025 easychair.org. All rights reserved.