Filtry
Elgot Theories: A new Perspective of Iteration Theories (Extended Abstract)
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Elgotovy algebry
Zavádíme Elgotovy algebry a navrhujeme je jako vhodné sémantické struktury. Elgotova algebra je algebra se specifikovaným oe1ením ka3dého flat systému rekursivních rovnic. Tato specifikace musí sploovat dva doboe motivované axiomy....
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Elgotovy algebry (rozšířený abstrakt)
Axiomatizujeme algebry, ve kterých lze řešit finitární reurzivní rovnice. Dokazujeme, že tyto algebry jsou Eilenberg- Mooreovy algebry volné iterivní monády....
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On algebras with effectful iteration
Pure mathematics
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Equational Properties of Iterative Monads
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Od iterativnich algeber k iterativnim teoriim
Je uveden důkaz existence volné iterativní teorie. Důkaz užívá pojmu iterativních algeber a je jednodušší a obecnější než původní důkaz Calvina Elgota a jeho spolupracovníků....
BA - Obecná matematika
- 2004 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Iterativni algebry v plne sile
Iterativni teorie, zavedene Calvinem Elgotem, formalizuji potencionalne nekonecne vypocty jako jednoznacna reseni rekursivnich rovnic. Jednim z hlavnich vysledku Elgota a jeho spoluautoru byl popis volne iterativni teorie jako teori...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Translation theory
AJ - Písemnictví, mas–media, audiovize
- 2016 •
- B
Rok uplatnění
B - Odborná kniha
Separation theorems for convex polytopes and finitely-generated cones derived from theorems of the alternative
BB - Aplikovaná statistika, operační výzkum
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Introduction: Interrogating audiences - Theoretical horizons of participation
AJ - Písemnictví, mas–media, audiovize
- 2011 •
- O •
- Odkaz
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
- 1 - 10 z 13 740