119 search results - page 8 / 24 » On finite alphabets and infinite bases |
ICMS
2010
14 years 11 months ago
2010
We announce the development and implementation of a new GAP package PCQL. This facilitates the computation of consistent polycyclic presentations for polycyclic quotients of groups...
104
click to vote
SLOGICA
2008
15 years 1 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
149
click to vote
AWPN
2008
15 years 2 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
TSP
2008
15 years 1 months ago
2008
In this paper, the problem of joint channel and carrier frequency offset (CFO) estimation is studied in the context of multiple-input multiple-output (MIMO) communications based on...