3 papers
cs.CC2022
A Computation Model with Automatic Functions and Relations as Primitive Operations
Ziyuan Gao, Sanjay Jain, Li Zeyong +2
Prior work of Hartmanis and Simon (Hartmanis and Simon, 1974) and Floyd and Knuth (Floyd and Knuth, 1990) investigated what happens if a device uses primitive steps more natural th…
cs.DS2022
An Exact Algorithm for finding Maximum Induced Matching in Subcubic Graphs
Gordon Hoi, Ammar Fathin Sabili, Frank Stephan
The Maximum Induced Matching problem asks to find the maximum such that, given a graph , can we find a subset of vertices of size for which every vertices …
cs.LO2020
Induction Models on \mathbb{N}
A. Dileep, Kuldeep S. Meel, Ammar F. Sabili
Mathematical induction is a fundamental tool in computer science and mathematics. Henkin initiated the study of formalization of mathematical induction restricted to the setting wh…