|
Search the dblp DataBase
Jiri Velebil:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jirí Adámek, Stefan Milius, Jiri Velebil
Parametric corecursion and completely iterative monads. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:2-5 [Conf]
- Jirí Adámek, Stefan Milius, Jiri Velebil
Some Remarks on Finitary and Iterative Monads. [Citation Graph (0, 0)][DBLP] Applied Categorical Structures, 2003, v:11, n:6, pp:521-541 [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
On coalgebra based on classes [Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp:- [Journal]
- Peter Aczel, Jirí Adámek, Jiri Velebil
A Coalgebraic View of Infinite Trees and Iteration. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
On Rational Monads and Free Iterative Theories. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
From Iterative Algebras to Iterative Theories (Extended Abstract). [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:3-24 [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
Iterative Algebras for a Base. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:147-170 [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot Algebras: (Extended Abstract). [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:87-109 [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
How Iterative are Iterative Algebras? [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:157-175 [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
Free Iterative Theories: A Coalgebraic View. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:259-320 [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
A general final coalgebra theorem. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:3, pp:409-432 [Journal]
- Vera Trnková, Jiri Velebil
On categories generalizing universal domains. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1999, v:9, n:2, pp:159-175 [Journal]
- Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil
Infinite trees and completely iterative theories: a coalgebraic view. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:300, n:1-3, pp:1-45 [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
On coalgebra based on classes. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:316, n:1, pp:3-23 [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
What Are Iteration Theories? [Citation Graph (0, 0)][DBLP] MFCS, 2007, pp:240-252 [Conf]
- Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot Algebras [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
Semantics of Higher-Order Recursion Schemes. [Citation Graph (, )][DBLP]
A Description of Iterative Reflections of Monads (Extended Abstract). [Citation Graph (, )][DBLP]
Categorical Generalization of a Universal Domain. [Citation Graph (, )][DBLP]
Algebraic Theories over Nominal Sets [Citation Graph (, )][DBLP]
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|