Department of
Mathematics and Statistics 		University of
Konstanz 		 
Research Group in Real Algebraic Geometry > Working Group on Mathematical Logic, Set Theory and Model Theory > Prof. S. Kuhlmann > Staff > Laura Wirth

DE Deutsche Version

Preprints

Theses

Master's Thesis

Weighted Automata, Formal Power Series and Weighted Logic (October 2022)
Supervisors Prof. Dr. Salma Kuhlmann and Prof. Dr. Sven Kosub
Institution Department of Mathematics and Statistics, University of Konstanz
published in           "BestMasters", Springer
Softcover ISBN 978-3-658-39322-9
eBook ISBN 978-3-658-39323-6
Language English

Bachelor's Thesis

Isomorphie von ηα-Ordnungen und reell abgeschlossenen Körpern (November 2019)
Supervisor Prof. Dr. Salma Kuhlmann
Institution Department of Mathematics and Statistics, University of Konstanz
published in           KOPS
citable link (URI) http://nbn-resolving.de/urn:nbn:de:bsz:352-2-79kzra6p0hp64
Language German


Last update:
myFunction();