Unique, guarded fixed points in an additive setting

Extended Abstract

Stephen L. Bloom, Z. Ésik

Research output: Contribution to journalArticle

Abstract

The unique, guarded fixed points in an additive setting are discussed. The Lawvere algebraic theories are taken into account for the study. A system of fixed point equations. In this analysis each function, t1: A n+p → some structure (A), is a pair (a,v), consisting of a 1 by n+p row matrix a with entries in a semiring S, and an element v in an S-module. All these possibilities and more may be treated uniformly in the framework of algebraic theories.

Original languageEnglish
Pages (from-to)51-65
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Volume69
DOIs
Publication statusPublished - Feb 2003

Fingerprint

Algebraic Theory
Fixed point
Fixed-point Equation
Semiring
Module
Framework

ASJC Scopus subject areas

  • Computer Science (miscellaneous)

Cite this

Unique, guarded fixed points in an additive setting : Extended Abstract. / Bloom, Stephen L.; Ésik, Z.

In: Electronic Notes in Theoretical Computer Science, Vol. 69, 02.2003, p. 51-65.

Research output: Contribution to journalArticle

@article{ee3785bc6acd482e844c85fe8f578747,
title = "Unique, guarded fixed points in an additive setting: Extended Abstract",
abstract = "The unique, guarded fixed points in an additive setting are discussed. The Lawvere algebraic theories are taken into account for the study. A system of fixed point equations. In this analysis each function, t1: A n+p → some structure (A), is a pair (a,v), consisting of a 1 by n+p row matrix a with entries in a semiring S, and an element v in an S-module. All these possibilities and more may be treated uniformly in the framework of algebraic theories.",
author = "Bloom, {Stephen L.} and Z. {\'E}sik",
year = "2003",
month = "2",
doi = "10.1016/S1571-0661(04)80558-9",
language = "English",
volume = "69",
pages = "51--65",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",

}

TY - JOUR

T1 - Unique, guarded fixed points in an additive setting

T2 - Extended Abstract

AU - Bloom, Stephen L.

AU - Ésik, Z.

PY - 2003/2

Y1 - 2003/2

N2 - The unique, guarded fixed points in an additive setting are discussed. The Lawvere algebraic theories are taken into account for the study. A system of fixed point equations. In this analysis each function, t1: A n+p → some structure (A), is a pair (a,v), consisting of a 1 by n+p row matrix a with entries in a semiring S, and an element v in an S-module. All these possibilities and more may be treated uniformly in the framework of algebraic theories.

AB - The unique, guarded fixed points in an additive setting are discussed. The Lawvere algebraic theories are taken into account for the study. A system of fixed point equations. In this analysis each function, t1: A n+p → some structure (A), is a pair (a,v), consisting of a 1 by n+p row matrix a with entries in a semiring S, and an element v in an S-module. All these possibilities and more may be treated uniformly in the framework of algebraic theories.

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

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

U2 - 10.1016/S1571-0661(04)80558-9

DO - 10.1016/S1571-0661(04)80558-9

M3 - Article

VL - 69

SP - 51

EP - 65

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -