Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Schubert, Christoph - Fachbereich Informatik, Universität Dortmund
OOP for Automation and Robotics Programming in the large
Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
Coalgebraic logic for stochastic right coalgebras Ernst-Erich Doberkat
WS 2007/08 ooP 27 Extend the problem
Dr. Christoph Schubert Chair of Software-Technology, TU Dortmund Dipl.-Inform. Markus Doedt http://www.ls10.de
Stochastische Coalgebren: Logische Aquivalenz und Verhaltensaquivalenz (und Biahnlichkeit)
BIPRODUCTS IN THE CATEGORY OF MEASURABLE RELATIONS CHRISTOPH SCHUBERT
Coalgebraic Logic over Analytic Spaces Christoph Schubert
Topo-bisimulations are coalgebraic Christoph Schubert
coalgebras for Constructing
UNIVERSALITY OF COPRODUCTS IN CATEGORIES OF LAX ALGEBRAS
WS 2007/08 ooP 1 Object Oriented Software
WS 2007/08 ooP 1 Object Oriented Software
Dr. C. Schubert, Dipl.Inform. M. Doedt OOP for Robotics 2006/2007
OOP for Automation and Robotics Christoph Schubert
OOP for Automation and Robotics Christoph Schubert
Dr. C. Schubert, Dipl.Inform. M. Doedt http://ls10www.cs.unidortmund.de
Dr. C. Schubert, Dipl.Inform. M. Doedt http://ls10www.cs.unidortmund.de
Dr. Christoph Schubert Chair of Software-Technology, TU Dortmund Dipl.-Inform. Markus Doedt http://www.ls10.de/~schubert/oop.html
OOP for Automation and Robotics Data-structures
Dr. C. Schubert, Dipl.Inform. M. Doedt OOP for Robotics 2007/2008
A coalgebraic perspective on weighted automata Christoph Schubert
Dr. Christoph Schubert Chair of Software-Technology, TU Dortmund Dipl.-Inform. Markus Doedt http://www.ls10.de/schubert/oop.html
OOP for Automation and Robotics Inheritance
Linked Lists Binary trees OOP for Automation and Robotics
OOP for Automation and Robotics Fine points of OO
Terminal coalgebras and tree-structures Christian Dzierzon
Terminal coalgebras and tree-structures Christian Dzierzon*, Christoph Schuberty
Lehrstuhl fur Software-Technologie Fakultat Informatik
Extensions in the theory of lax algebras Christoph Schubert
Linked Lists Binary trees Classes OOP for Automation and Robotics
OOP for Automation and Robotics Christoph Schubert
Dr. Christoph Schubert Chair of Software-Technology, TU Dortmund Dipl.-Inform. Markus Doedt http://www.ls10.de/~schubert/oop.html
Curriculum Vitae Christoph Schubert
Extensions in the theory of lax algebras Christoph Schubert* Gavin J. Sealy
Curriculum Vitae Christoph Schubert
