Independence of the equational axioms for iteration theories

Research output: Contribution to journalArticle

20 Citations (Scopus)

Abstract

An equational characterization of iteration theories has been given in (Ésik, Comput. Linguist. Comput. Lang. 14 (1980), 183-207). In the present paper we establish a basic independence result for this axiomatization.

Original languageEnglish
Pages (from-to)66-76
Number of pages11
JournalJournal of Computer and System Sciences
Volume36
Issue number1
DOIs
Publication statusPublished - 1988

Fingerprint

Independence Results
Axiomatization
Axioms
Iteration
Independence
Language

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Cite this

Independence of the equational axioms for iteration theories. / Ésik, Z.

In: Journal of Computer and System Sciences, Vol. 36, No. 1, 1988, p. 66-76.

Research output: Contribution to journalArticle

@article{a2d3d4ba9646496da06ad18a07ebd070,
title = "Independence of the equational axioms for iteration theories",
abstract = "An equational characterization of iteration theories has been given in ({\'E}sik, Comput. Linguist. Comput. Lang. 14 (1980), 183-207). In the present paper we establish a basic independence result for this axiomatization.",
author = "Z. {\'E}sik",
year = "1988",
doi = "10.1016/0022-0000(88)90020-7",
language = "English",
volume = "36",
pages = "66--76",
journal = "Journal of Computer and System Sciences",
issn = "0022-0000",
publisher = "Academic Press Inc.",
number = "1",

}

TY - JOUR

T1 - Independence of the equational axioms for iteration theories

AU - Ésik, Z.

PY - 1988

Y1 - 1988

N2 - An equational characterization of iteration theories has been given in (Ésik, Comput. Linguist. Comput. Lang. 14 (1980), 183-207). In the present paper we establish a basic independence result for this axiomatization.

AB - An equational characterization of iteration theories has been given in (Ésik, Comput. Linguist. Comput. Lang. 14 (1980), 183-207). In the present paper we establish a basic independence result for this axiomatization.

UR - http://www.scopus.com/inward/record.url?scp=0023962114&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023962114&partnerID=8YFLogxK

U2 - 10.1016/0022-0000(88)90020-7

DO - 10.1016/0022-0000(88)90020-7

M3 - Article

AN - SCOPUS:0023962114

VL - 36

SP - 66

EP - 76

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

SN - 0022-0000

IS - 1

ER -