Stefan Milius und Thorsten Wißmann - Info zur Person

(1 - 7 von 10

)

Formal Methods – The Next 30 Years: Third World Congress, FM ...google.de

books.google.de

... Stefan Milius, Lutz Schröder, and Thorsten Wißmann(B) Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Germany {hans-peter.deifel,stefan.milius ...

Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, …

emis.de

WebThorsten Wißmann, Stefan Milius, Shin-ya Katsumata, J´er´emy Dubut Acoalgebraicviewonreachability Comment.Math.Univ.Carolin. 60,4 (2019) 605 –638. …

Predicate Liftings and Functor Presentations in ...Archive ouverte HAL

hal.science

von U Dorsch · · Zitiert von: 6 — Ulrich Dorsch 1Stefan Milius 1 Lutz Schröder 1 Thorsten Wissmann 1. Détails. 1 FAU - Friedrich-Alexander Universität Erlangen-Nürnberg.

Projekt - UnivISFriedrich-Alexander-Universität Erlangen-Nürnberg

univis.uni-erlangen.de

Dr. Stefan Milius, Prof. Dr. Lutz Schröder Beteiligte: Ulrich Dorsch, Dr.-Ing. Thorsten Wißmann Stichwörter: Koalgebra; Ausdruckskalküle; Algebra ...

Stefan Milius :: Publications - T.CS

www.bing.com

Webauthor = {Stefan Milius and Dirk Pattinson and Thorsten Wißmann}, title = {A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties}, …

Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut

www.bing.com

WebThorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut A coalgebraic view on reachability Comment.Math.Univ.Carolin. 60,4 (2019) Abstract:Coalgebras for …

The Locally Finite Fixpoint and Its PropertiesSemantic Scholar

www.semanticscholar.org

... Stefan Milius, D. Pattinson, Thorsten Wißmann; Published in Foundations of Software… 4 April 2016; Mathematics. TLDR. It is proved that if the given endofunctor ...

Alle Infos zum Namen "Stefan Milius"

Verwandte Suchanfragen zu Stefan Milius

Jiří Adámek
Alexandra Silva
Reiko Heckel

Henning Urbat
Lutz Schröder
Alex Rice

Ulrich Dorsch
Thorsten Palm
Chase Ford

Personen
Vorname "Stefan" (78868)
Name "Milius" (113)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Stefan Milius und Thorsten Wißmann Person-Info