1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2023
Decision Procedures for Sequence Theories (Technical Report)
Artur Jeż, Anthony W. Lin, Oliver Markgraf +1
Sequence theories are an extension of theories of strings with an infinite alphabet of letters, together with a corresponding alphabet theory (e.g. linear integer arithmetic). Sequ…
cs.LO2014
Finding All Solutions of Equations in Free Groups and Monoids with Involution
Volker Diekert, Artur Jeż, Wojciech Plandowski
The aim of this paper is to present a PSPACE algorithm which yields a finite graph of exponential size and which describes the set of all solutions of equations in free groups as w…
cs.DS2014★ 1 cited
A really simple approximation of smallest grammar
Artur Jeż
In this paper we present a really simple linear-time algorithm constructing a context-free grammar of size O(g log (N/g)) for the input string, where N is the size of the input str…