3 papers
math.CO2026
Reduced Groebner Bases With Double Exponential Cardinality
Archana S Morye, Sreenanda S B, Prakash Saivasan
In this article, we investigate the cardinality of Groebner bases under various monomial orderings. We identify a family of polynomials F and a criterion such that the reduced Groe…
cs.FL2025
Bounded treewidth, multiple context-free grammars, and downward closures
C. Aiswarya, Pascal Baumann, Prakash Saivasan +2
The reachability problem in multi-pushdown automata (MPDA) has many applications in static analysis of recursive programs. An example is safety verification of multi-threaded recur…
cs.FL2024
Equivalence of Deterministic Weighted Real-time One-Counter Automata
Prince Mathew, Vincent Penelle, Prakash Saivasan +1
This paper introduces deterministic weighted real-time one-counter automaton (DWROCA). A DWROCA is a deterministic real-time one-counter automaton whose transitions are assigned a…