Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Ivan N. Soskov Ivan Nikolaev Soskov ( http://dblp.L3S.de/Authors/Ivan_N._Soskov )

  Author page on DBLP  Author page in RDF  Community of Ivan N. Soskov in ASPL-2

Publication years (Num. hits)
1989-2011 (13)
Publication types (Num. hits)
article(11) inproceedings(1) proceedings(1)
Venues (Conferences, Journals, ...)
Ann. Pure Appl. Logic(2) CiE(2) J. Log. Comput.(2) J. Symb. Log.(2) Math. Log. Q.(2) Arch. Math. Log.(1) Int. J. Software and Informati...(1) Mathematical Structures in Com...(1)
Authors
Ivan N. Soskov(13) Alexandra A. Soskova(2) Benedikt Löwe(1) Bogomil Kovachev(1) Dag Normann(1) Hristo Ganchev(1) Joan Bagaria(1) Margarita Otero(1) Mariya Ivanova Soskova(1) V. Baleva(1) Yiannis N. Moschovakis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ivan N. Soskov, Mariya Ivanova Soskova Kalimullin Pairs of §02 w-Enumeration Degrees. Search on Bibsonomy Int. J. Software and Informatics The full citation details ... 2011 DBLP  BibTeX  RDF
1Joan Bagaria, Yiannis N. Moschovakis, Margarita Otero, Ivan N. Soskov Preface. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova (eds.) Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings Search on Bibsonomy CiE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexandra A. Soskova, Ivan N. Soskov A Jump Inversion Theorem for the Degree Spectra. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hristo Ganchev, Ivan N. Soskov The jump operator on the omega-enumeration degrees. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ivan N. Soskov The omega-Enumeration Degrees. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ivan N. Soskov, Bogomil Kovachev Uniform regular enumerations. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ivan N. Soskov Uniform Operators. Search on Bibsonomy CiE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ivan N. Soskov, V. Baleva Regular Enumerations. Search on Bibsonomy J. Symb. Log. The full citation details ... 2002 DBLP  BibTeX  RDF
1Ivan N. Soskov A jump inversion theorem for the enumeration jump. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991):03D30
1Ivan N. Soskov Intrinsically Hyperarithmetical Sets. Search on Bibsonomy Math. Log. Q. The full citation details ... 1996 DBLP  BibTeX  RDF
1Ivan N. Soskov Intrinsically II11 Relations. Search on Bibsonomy Math. Log. Q. The full citation details ... 1996 DBLP  BibTeX  RDF
1Ivan N. Soskov Definability Via Enumerations. Search on Bibsonomy J. Symb. Log. The full citation details ... 1989 DBLP  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.