Simple equational specifications of rational arithmetic.
Moss, Lawrence S. (2001)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Moss, Lawrence S. (2001)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Similarity:
J. Achari (1978)
Matematički Vesnik
Similarity:
Matusevich, Laura Felicia (2000)
Beiträge zur Algebra und Geometrie
Similarity:
J. Achari (1979)
Publications de l'Institut Mathématique
Similarity:
J. Siciak (1962)
Annales Polonici Mathematici
Similarity:
Krystyna Ziętak (1974)
Applicationes Mathematicae
Similarity:
Alain Terlutte, David Simplot (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
The purpose of this paper is to show connections between iterated length-preserving rational transductions and linear space computations. Hence, we study the smallest family of transductions containing length-preserving rational transductions and closed under union, composition and iteration. We give several characterizations of this class using restricted classes of length-preserving rational transductions, by showing the connections with "context-sensitive transductions" and transductions...
Stéphane Gaubert, Ricardo Katz (2004)
Kybernetika
Similarity:
We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free semimodule over a semiring is rational if it has a generating family that is a rational subset of , being thought of as a monoid under the entrywise product. We show that for various semirings of max-plus type whose elements are integers, rational...
W. Szafrański (1983)
Applicationes Mathematicae
Similarity: