Full Name
Frank Christian Stephan
Variants
Stephan, P.
Stephan, F.
Stephan F
 
Main Affiliation
 
Faculty
 
Email
dcssfc@nus.edu.sg
 
 

Publications

Refined By:
Author:  Jain, S.
Date Issued:  [2010 TO 2019]

Results 1-19 of 19 (Search time: 0.014 seconds).

Issue DateTitleAuthor(s)
12019An ordered approach to solving parity games in quasi-polynomial time and quasi-linear spaceFearnley J.; Jain S. ; de Keijzer B.; Schewe S.; Stephan F. ; Wojtczak D.
22017Automatic learning from positive data and negative counterexamplesJain S. ; Kinber E.; Stephan F. 
32012Automatic learning of subclasses of pattern languagesCase, J.; Jain, S. ; Le, T.D.; Ong, Y.S.; Semukhin, P.; Stephan, F. 
42016Closed left-r.e. setsJain S. ; Stephan F. ; Teutsch J. 
52018Effectivity questions for Kleene's recursion theoremCase J.; Jain S. ; Stephan F. 
62016Enlarging learnable classesJain S. ; Kötzing T.; Stephan F. 
72018Finitely generated semiautomatic groupsJain S. ; Khoussainov B.; Stephan F. 
82014Graphs realised by r.e. equivalence relationsGavruskin, A.; Jain, S. ; Khoussainov, B.; Stephan, F. 
92016Inductive inference and reverse mathematicsHölzl R. ; Jain S. ; Stephan F. 
102010Iterative learning of simple external contextual languagesBecerra-Bonache, L.; Case, J.; Jain, S. ; Stephan, F. 
112018Learning pattern languages over groupsHölzl R. ; Jain S. ; Stephan F. 
122016On the role of update constraints and text-types in iterative learningJain S. ; Kötzing T.; Ma J.; Stephan F. 
132019Reductions between types of numberingsHerbert I. ; Jain S. ; Lempp S.; Mustafa M.; Stephan F. 
142010Regular patterns, regular languages and context-free languagesJain, S. ; Ong, Y.S.; Stephan, F. 
152017Semiautomatic StructuresJain S. ; Khoussainov B.; Stephan F. ; Teng D. ; Zou S.
161-May-2019The complexity of verbal languages over groupsJain S. ; Miasnikov A.; Stephan F. 
172019The isomorphism problem for tree-automatic ordinals with additionJain S. ; Khoussainov B.; Schlicht P.; Stephan F. 
182016Tree-automatic scattered linear ordersJain S. ; Khoussainov B.; Schlicht P.; Stephan F. 
192011Uncountable automatic classes and learningJain, S. ; Luo, Q.; Semukhin, P. ; Stephan, F.