Todorčević, Stevo

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Todorčević, Stevo
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications


Refined By:
Rank:  M21
Subject:  ω-tree-automatic structures | ω -automatic structures n | Automata reading ordinal words | Boolean algebras | Groups | Independence results | Isomorphism relation | Models of set theory | Partial orders | Rings

Results 1-1 of 1 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Finkel, Olivier; Todorčević, Stevo A hierarchy of tree-automatic structures1-Mar-2012Journal of Symbolic Logic; 77(1); 350-368M21

Projects
(Co-Investigators)


Results 1-1 of 1 (Search time: 0.0 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 1630Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics01-01-200231-12-2005Došen, Kosta