Ji\v{r}\'i Ad\'amek (Institut f\"ur Theoretische Informatik
Identifiers
- name variant Ji\v{r}\'i Ad\'amek (Institut f\"ur Theoretische Informatik 0.60 · backfill
Papers (2)
- Corecursive Algebras, Corecursive Monads and Bloom Monads cs.LO · 2014 · author #1
- Well-Pointed Coalgebras cs.LO · 2013 · author #1
Mentions
Frequent Coauthors
- Germany) 2 shared papers
- Stefan Milius (Institut f\"ur Theoretische Informatik 2 shared papers
- Technische Universit\"at Braunschweig 2 shared papers
- Bloomington 1 shared papers
- Centre for Mathematics of the University of Coimbra 1 shared papers
- Computer Science 1 shared papers
- IN 1 shared papers
- Indiana University 1 shared papers
- Iran) 1 shared papers
- Lawrence S Moss (Department of Mathematics 1 shared papers
- Lurdes Sousa (Polytechnic Institute of Viseu 1 shared papers
- Mahdie Haddadi (Department of Mathematics 1 shared papers
- Portugal) 1 shared papers
- Semnan University 1 shared papers
- Statistics 1 shared papers
- Technische Universita\"t Braunschweig 1 shared papers
- Technische Universit\"ut Braunschweig 1 shared papers
- USA) 1 shared papers