Abstract. We study free profinite subgroups of free profinite semigroups of the same rank using, as main tools, iterated implicit operators, subword complexity and the associated e...
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Google Scholar allows researchers to search through a free and extensive source of information on scientific publications. In this paper we show that within the limited context o...