Kleene algebra (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Kleene algebra" in English language version.

refsWebsite

Global rank English rank

5doi.org

2^nd place

4cornell.edu

332^nd place

246^th place

2acm.org

1,185^th place

840^th place

2worldcat.org

5^th place

2zbmath.org

1,923^rd place

1,068^th place

2books.google.com

3^rd place

1springer.com

274^th place

309^th place

1rand.org

2,921^st place

2,118^th place

1ua.es

7,170^th place

low place

1web.archive.org

1^st place

1wikipedia.org

low place

1imath.kiev.ua

low place

1diku.dk

low place

1semanticscholar.org

11^th place

8^th place

acm.org

dl.acm.org

Kozen, Dexter (1997-05-01). "Kleene algebra with tests". ACM Trans. Program. Lang. Syst. 19 (3): 427–443. doi:10.1145/256167.256195. ISSN 0164-0925.
Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David (2014-01-08). "NetKAT: semantic foundations for networks". SIGPLAN Not. 49 (1): 113–126. doi:10.1145/2578855.2535862. ISSN 0362-1340.

books.google.com

Gross, Jonathan L.; Yellen, Jay (2003), Handbook of Graph Theory, Discrete Mathematics and Its Applications, CRC Press, p. 65, ISBN 9780203490204.
Jonathan S. Golan (30 June 2003). Semirings and Affine Equations over Them. Springer Science & Business Media. pp. 157–159. ISBN 978-1-4020-1358-4.

cornell.edu

ecommons.library.cornell.edu

For a survey, see: Kozen, Dexter (1990). "On Kleene algebras and closed semirings" (PDF). In Rovan, Branislav (ed.). Mathematical foundations of computer science, Proc. 15th Symp., MFCS '90, Banská Bystrica/Czech. 1990. Lecture Notes Computer Science. Vol. 452. Springer-Verlag. pp. 26–47. Zbl 0732.03047.
Dexter Kozen (May 1994). "A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events" (PDF). Information and Computation. 110 (2): 366–390. doi:10.1006/inco.1994.1037. — An earlier version appeared as: Dexter Kozen (May 1990). A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events (Technical report). Cornell. p. 27. TR90-1123.

cs.cornell.edu

Dexter Kozen (1981). "On induction vs. ^*-continuity" (PDF). In Dexter Kozen (ed.). Proc. Workshop Logics of Programs. Lect. Notes in Comput. Sci. Vol. 131. Springer. pp. 167–176.
Dexter Kozen (May 1994). "A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events" (PDF). Information and Computation. 110 (2): 366–390. doi:10.1006/inco.1994.1037. — An earlier version appeared as: Dexter Kozen (May 1990). A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events (Technical report). Cornell. p. 27. TR90-1123.

diku.dk

Arto Salomaa (Jan 1966). "Two complete axiom systems for the algebra of regular events" (PDF). Journal of the ACM. 13 (1): 158–169. doi:10.1145/321312.321326. S2CID 8445404.

doi.org

Kozen, Dexter (1997-05-01). "Kleene algebra with tests". ACM Trans. Program. Lang. Syst. 19 (3): 427–443. doi:10.1145/256167.256195. ISSN 0164-0925.
Kozen, Dexter; Smith, Frederick (1997). "Kleene algebra with tests: Completeness and decidability". In van Dalen, Dirk; Bezem, Marc (eds.). Computer Science Logic. Lecture Notes in Computer Science. Vol. 1258. Berlin, Heidelberg: Springer. pp. 244–259. doi:10.1007/3-540-63172-0_43. ISBN 978-3-540-69201-0.
Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David (2014-01-08). "NetKAT: semantic foundations for networks". SIGPLAN Not. 49 (1): 113–126. doi:10.1145/2578855.2535862. ISSN 0362-1340.
Arto Salomaa (Jan 1966). "Two complete axiom systems for the algebra of regular events" (PDF). Journal of the ACM. 13 (1): 158–169. doi:10.1145/321312.321326. S2CID 8445404.
Dexter Kozen (May 1994). "A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events" (PDF). Information and Computation. 110 (2): 366–390. doi:10.1006/inco.1994.1037. — An earlier version appeared as: Dexter Kozen (May 1990). A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events (Technical report). Cornell. p. 27. TR90-1123.

imath.kiev.ua

umj.imath.kiev.ua

Redko, V.N. (1964). "Об определяющей совокупности соотношений алгебры регулярных событий" [On defining relations for the algebra of regular events] (PDF). Ukrainskii Matematicheskii Zhurnal [uk] (in Russian). 16 (1): 120–126. Archived from the original (PDF) on 2018-03-29.

rand.org

S.C. Kleene (Dec 1951). Representation of Events in Nerve Nets and Finite Automata (PDF) (Technical report). U.S. Air Force / RAND Corporation. p. 98. RM-704. Here: sect.7.2, p.52

semanticscholar.org

api.semanticscholar.org

Arto Salomaa (Jan 1966). "Two complete axiom systems for the algebra of regular events" (PDF). Journal of the ACM. 13 (1): 158–169. doi:10.1145/321312.321326. S2CID 8445404.

springer.com

link.springer.com

Kozen, Dexter; Smith, Frederick (1997). "Kleene algebra with tests: Completeness and decidability". In van Dalen, Dirk; Bezem, Marc (eds.). Computer Science Logic. Lecture Notes in Computer Science. Vol. 1258. Berlin, Heidelberg: Springer. pp. 244–259. doi:10.1007/3-540-63172-0_43. ISBN 978-3-540-69201-0.

ua.es

dlsi.ua.es

Kleene, Stephen C. (1956). "Representation of Events in Nerve Nets and Finite Automata" (PDF). Automata Studies, Annals of Mathematical Studies. 34. Princeton Univ. Press. Here: sect.7.2, p.26-27

web.archive.org

Redko, V.N. (1964). "Об определяющей совокупности соотношений алгебры регулярных событий" [On defining relations for the algebra of regular events] (PDF). Ukrainskii Matematicheskii Zhurnal [uk] (in Russian). 16 (1): 120–126. Archived from the original (PDF) on 2018-03-29.

wikipedia.org

uk.wikipedia.org

Redko, V.N. (1964). "Об определяющей совокупности соотношений алгебры регулярных событий" [On defining relations for the algebra of regular events] (PDF). Ukrainskii Matematicheskii Zhurnal [uk] (in Russian). 16 (1): 120–126. Archived from the original (PDF) on 2018-03-29.

worldcat.org

search.worldcat.org

Kozen, Dexter (1997-05-01). "Kleene algebra with tests". ACM Trans. Program. Lang. Syst. 19 (3): 427–443. doi:10.1145/256167.256195. ISSN 0164-0925.
Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David (2014-01-08). "NetKAT: semantic foundations for networks". SIGPLAN Not. 49 (1): 113–126. doi:10.1145/2578855.2535862. ISSN 0362-1340.

zbmath.org

For a survey, see: Kozen, Dexter (1990). "On Kleene algebras and closed semirings" (PDF). In Rovan, Branislav (ed.). Mathematical foundations of computer science, Proc. 15th Symp., MFCS '90, Banská Bystrica/Czech. 1990. Lecture Notes Computer Science. Vol. 452. Springer-Verlag. pp. 26–47. Zbl 0732.03047.
Conway, J.H. (1971). Regular algebra and finite machines. London: Chapman and Hall. ISBN 0-412-10620-5. Zbl 0231.94041. Chap.IV.