The equational theory of fixed points with applications to generalized language theory dedicated to prof.werner kuich on the occasion of his 60th birthday

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

We review the rudiments of the equational logic of (least) fixed points and provide some of its applications for axiomatization problems with respect to regular languages, tree languages, and synchronization trees.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages21-36
Number of pages16
Volume2295 LNCS
Publication statusPublished - 2002
Event5th Conference on Developments in Language Theory, DLT 2001 - Wien, Austria
Duration: Jul 16 2001Jul 21 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2295 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other5th Conference on Developments in Language Theory, DLT 2001
CountryAustria
CityWien
Period7/16/017/21/01

Fingerprint

Equational Theory
Formal languages
Synchronization
Fixed point
Equational Logic
Regular Languages
Axiomatization
Language
Review

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Ésik, Z. (2002). The equational theory of fixed points with applications to generalized language theory dedicated to prof.werner kuich on the occasion of his 60th birthday. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2295 LNCS, pp. 21-36). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2295 LNCS).

The equational theory of fixed points with applications to generalized language theory dedicated to prof.werner kuich on the occasion of his 60th birthday. / Ésik, Z.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2295 LNCS 2002. p. 21-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2295 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ésik, Z 2002, The equational theory of fixed points with applications to generalized language theory dedicated to prof.werner kuich on the occasion of his 60th birthday. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 2295 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2295 LNCS, pp. 21-36, 5th Conference on Developments in Language Theory, DLT 2001, Wien, Austria, 7/16/01.
Ésik Z. The equational theory of fixed points with applications to generalized language theory dedicated to prof.werner kuich on the occasion of his 60th birthday. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2295 LNCS. 2002. p. 21-36. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Ésik, Z. / The equational theory of fixed points with applications to generalized language theory dedicated to prof.werner kuich on the occasion of his 60th birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2295 LNCS 2002. pp. 21-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{736062eecf3b4d578e4fabae6f85a83e,
title = "The equational theory of fixed points with applications to generalized language theory dedicated to prof.werner kuich on the occasion of his 60th birthday",
abstract = "We review the rudiments of the equational logic of (least) fixed points and provide some of its applications for axiomatization problems with respect to regular languages, tree languages, and synchronization trees.",
author = "Z. {\'E}sik",
year = "2002",
language = "English",
isbn = "3540434534",
volume = "2295 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "21--36",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - The equational theory of fixed points with applications to generalized language theory dedicated to prof.werner kuich on the occasion of his 60th birthday

AU - Ésik, Z.

PY - 2002

Y1 - 2002

N2 - We review the rudiments of the equational logic of (least) fixed points and provide some of its applications for axiomatization problems with respect to regular languages, tree languages, and synchronization trees.

AB - We review the rudiments of the equational logic of (least) fixed points and provide some of its applications for axiomatization problems with respect to regular languages, tree languages, and synchronization trees.

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

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

M3 - Conference contribution

AN - SCOPUS:84876909676

SN - 3540434534

SN - 9783540434535

VL - 2295 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 21

EP - 36

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -