1 citations · 3 across the 7 of their papers we have counts for
3 papers · 1 filter
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…
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…
Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
C Aiswarya, Soumodev Mal, Prakash Saivasan
We study the satisfiability of string constraints where context-free membership constraints may be imposed on variables. Additionally a variable may be constrained to be a subword…