REWRITING EXTENDED REGULAR EXPRESSIONS / ANTIMIROV VM,MOSSES PD // THEORETICAL COMPUTER SCIENCE. - 1995. - V. 143, l. 1. - P. 51-72.

ISSN/EISSN:

0304-3975 / нет данных

Type:

Article

Abstract:

We consider an extended algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotonic operations; the latter property is crucial for some applications. We give a new complete Horn-equational axiomatization of the algebra and develop some term-rewriting techniques for constructing logical inferences of valid equations.

Author keywords:

RATIONAL IDENTITIES; COMPLEXITY

DOI:

10.1016/0304-3975(95)80010-7

Web of Science ID:

ISI:A1995RA21800003

Соавторы в МНС:

—

Другие поля

Поле	Значение
Month	MAY 29
Publisher	ELSEVIER SCIENCE BV
Address	PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS
Language	English
Keywords-Plus	RATIONAL IDENTITIES; COMPLEXITY
Research-Areas	Computer Science
Web-of-Science-Categories	Computer Science, Theory \& Methods
ORCID-Numbers	Mosses, Peter/0000-0002-5826-7520
Number-of-Cited-References	27
Usage-Count-Last-180-days	2
Usage-Count-Since-2013	8
Journal-ISO	Theor. Comput. Sci.
Doc-Delivery-Number	RA218