BIROn - Birkbeck Institutional Research Online

    Browse by Person

    Up a level
    Export as [feed] Atom [feed] RSS
    Number of items: 3.

    Article

    Andréka, H. and Mikulás, Szabolcs and Németi, I. (2011) The equational theory of Kleene lattices. Theoretical Computer Science 412 (52), pp. 7099-7108. ISSN 0304-3975.

    Andréka, H. and Mikulás, Szabolcs (2011) Axiomatizability of positive algebras of binary relations. Algebra Universalis 66 (1-2), pp. 7-34. ISSN 0002-5240.

    Book Section

    Andréka, H. and Mikulás, Szabolcs and Németi, I. (2012) Residuated Kleene algebras. In: Constable, R.L. and Silva, A. (eds.) Logic and Program Semantics. Lecture Notes in Computer Science 7230. Berlin, Germany: Springer Verlag, pp. 1-11. ISBN 9783642294853.

    This list was generated on Wed Dec 4 07:17:08 2024 GMT.