Prof. Dr. Tobias Friedrich

Publications of Karen Seidel

The following listing contains all publications of Karen Seidel. Further publications of the research group can be found on the current list of publications and the complete list of publications.

[ 2018 ] [ 2017 ] [ 2013 ]

2018 [ to top ]

  • 1802.06103.pdf
    Göbel, Andreas; Lagodzinski, J. A. Gregor; Seidel, Karen Counting Homomorphisms to Trees Modulo a Prime. arXiv 2018

2017 [ to top ]

  • AutomaticLearningFromRepetitiveText.pdf
    Hölzl, Rupert; Jain, Sanjay; Schlicht, Philipp; Seidel, Karen; Stephan, Frank Automatic Learning from Repetitive Texts. International Conference on Algorithmic Learning Theory (ALT) 2017: 129-150
  • KoetzingSchirneckSeidel-2017-NormalFormsInSemanticLanguageLearning.pdf
    Kötzing, Timo; Schirneck, Martin; Seidel, Karen Normal Forms in Semantic Language Identification. International Conference on Algorithmic Learning Theory (ALT) 2017: 493-516

2013 [ to top ]

  • KoepkeSchlichtSeidel-2013-AMinimalPrikryTypeForcingForSingularizingAMeasurableCardinal.pdf
    Koepke, Peter; Räsch, Karen; Schlicht, Philipp A minimal Prikry-type forcing for singularizing a measurable cardinal. The Journal of Symbolic Logic 2013: 85-100