Models of a \(K\)-rational identity system
type: Item
instance of: scholarly article
title: Models of a \(K\)-rational identity system
zbMATH Open document ID: 0762.68047
DOI: 10.1016/0022-0000(92)90033-F
author: Daniel Krob
published in: Journal of Computer and System Sciences
publication date: 1993-01-17T00:00:00Z
review text: The author studies the algebra of rational expressions over a positive semiring. Interpretation and substitution are defined. Using the concept of model, he is able to show that every complete system of \(K\)-rational identities must be infinite, extending a result of Conway for \(K\) = the boolean semiring.
reviewed by: Christophe Reutenauer
Mathematics Subject Classification ID: 68Q70
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 98623
zbMATH Keywords: rational expressions
zbMATH Keywords: positive semiring
MaRDI profile type: Publication
cites work: Q3691074
cites work: Q5611784
cites work: Q3338360
cites work: Q5639639
cites work: Q4079524
cites work: Q3882586
cites work: Q3027187
cites work: Q3704880
cites work: Monoides et semi-anneaux complets. (Complete monoids and semirings)
cites work: Q3975995
cites work: Complete systems of \(\mathcal B\)-rational identities
cites work: Q4113791
full work available at URL: 0022-0000(92)90033-f
OpenAlex ID: W2008482270
description: scientific article; zbMATH DE number 98623