Max Kubierschky
Mathematik und Softwareentwicklung
Veröffentlichungen
- Remisfreie Spiele, Fixpunktlogiken und Normalformen. Diplomarbeit. (Draw free games, fixed point logics and normal forms. masters thesis.)
- Total and Partial Well-Founded Datalog Coincide. Jörg Flum, Max Kubierschky, Bertram Ludäscher. Proc. 6th Intl. Conference on Database Theory (ICDT'97), Delphi, Greece, 1997, LNCS 1186, Springer.
- Games and Total DatalogNeg Queries. Jörg Flum, Max Kubierschky, Bertram Ludäscher. Theoretical Computer Science, 239(2), pp.257-276, Elsevier, 2000.
- Yet Another Hierarchy Theorem. Max Kubierschky. Journal of Symbolic Logic, Vol 65 pp 627-640, 2000.
