18 results on '"Ésik, Z."'
Search Results
2. Axiomatizing weighted synchronization trees and weighted bisimilarity
Catalog
Books, media, physical & digital resources
3. Free inductive K -semialgebras
4. Multi-Linear Iterative K-Σ-Semialgebras
5. An undecidable property of context-free linear orders
6. Axiomatizing the equational theory of regular tree languages
7. A Mezei–Wright theorem for categorical algebras
8. Axiomatizing rational power series over natural numbers
9. Scott Induction and Equational Proofs
10. A proof of the Krohn–Rhodes Decomposition Theorem
11. The variety of Kleene algebras with conversion is not finitely based
12. Group Axioms for Iteration
13. Equational properties of iteration in algebraically complete categories
14. Completeness of Park induction
15. Equational properties of Kleene algebras of relations with conversion
16. Scott Induction and Equational Proofs
17. Algebras of iteration theories
18. Independence of the equational axioms for iteration theories
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.