Kleene theorem in partial conway theories with applications

Z. Ésik, Tamás Hajgató

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

1 Citation (Scopus)

Abstract

Partial Conway theories are algebraic theories equipped with a partially defined dagger operation satisfying some natural identities. We prove a Kleene type theorem for partial Conway theories and discuss several applications of this result.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages72-93
Number of pages22
Volume7020 LNCS
DOIs
Publication statusPublished - 2011

Publication series

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

Fingerprint

Partial
Algebraic Theory
Theorem

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Ésik, Z., & Hajgató, T. (2011). Kleene theorem in partial conway theories with applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7020 LNCS, pp. 72-93). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7020 LNCS). https://doi.org/10.1007/978-3-642-24897-9_4

Kleene theorem in partial conway theories with applications. / Ésik, Z.; Hajgató, Tamás.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7020 LNCS 2011. p. 72-93 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7020 LNCS).

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

Ésik, Z & Hajgató, T 2011, Kleene theorem in partial conway theories with applications. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 7020 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7020 LNCS, pp. 72-93. https://doi.org/10.1007/978-3-642-24897-9_4
Ésik Z, Hajgató T. Kleene theorem in partial conway theories with applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7020 LNCS. 2011. p. 72-93. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-24897-9_4
Ésik, Z. ; Hajgató, Tamás. / Kleene theorem in partial conway theories with applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7020 LNCS 2011. pp. 72-93 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{83a0e8dcc317475299bbf2cc9603ad75,
title = "Kleene theorem in partial conway theories with applications",
abstract = "Partial Conway theories are algebraic theories equipped with a partially defined dagger operation satisfying some natural identities. We prove a Kleene type theorem for partial Conway theories and discuss several applications of this result.",
author = "Z. {\'E}sik and Tam{\'a}s Hajgat{\'o}",
year = "2011",
doi = "10.1007/978-3-642-24897-9_4",
language = "English",
isbn = "9783642248962",
volume = "7020 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "72--93",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Kleene theorem in partial conway theories with applications

AU - Ésik, Z.

AU - Hajgató, Tamás

PY - 2011

Y1 - 2011

N2 - Partial Conway theories are algebraic theories equipped with a partially defined dagger operation satisfying some natural identities. We prove a Kleene type theorem for partial Conway theories and discuss several applications of this result.

AB - Partial Conway theories are algebraic theories equipped with a partially defined dagger operation satisfying some natural identities. We prove a Kleene type theorem for partial Conway theories and discuss several applications of this result.

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

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

U2 - 10.1007/978-3-642-24897-9_4

DO - 10.1007/978-3-642-24897-9_4

M3 - Conference contribution

AN - SCOPUS:84856615076

SN - 9783642248962

VL - 7020 LNCS

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

SP - 72

EP - 93

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

ER -