![Algebra / Morphisms / Algebraic geometry / Predicate transformer semantics / Program logic / Pushout / Graph rewriting / Epimorphism / Ample line bundle / Abstract algebra / Mathematics / Category theory Algebra / Morphisms / Algebraic geometry / Predicate transformer semantics / Program logic / Pushout / Graph rewriting / Epimorphism / Ample line bundle / Abstract algebra / Mathematics / Category theory](https://www.pdfsearch.io/img/241222b695d47499e301c08e894a871a.jpg)
| Document Date: 2006-06-21 08:43:28 Open Document File Size: 280,18 KBShare Result on Facebook
City Enschede / / Company Correct Graph Transformation Systems / Trustworthy Software Systems / / Country Germany / United States / Netherlands / / / Facility University of Oldenburg / University of Twente / / Holiday Assumption / / IndustryTerm session management / / Organization German Research Foundation / Graduate School / University of Twente / University of Oldenburg / / ProgrammingLanguage R / C / K / L / /
SocialTag |