×

zbMATH — the first resource for mathematics

Khoussainov, Bakhadyr M.

Compute Distance To:
Author ID: khoussainov.bakhadyr-m Recent zbMATH articles by "Khoussainov, Bakhadyr M."
Published as: Khoussainov, Bakhadyr; Khoussainov, B.; Khoussainov, Bakhadyr M.; Khoussainov, B. M.
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 105 Publications since 1993, including 4 Books

Publications by Year

Citations contained in zbMATH Open

71 Publications have been cited 600 times in 375 Documents Cited by Year
Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034
Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M.
79
2002
Computable models of theories with few models. Zbl 0891.03013
Khoussainov, Bakhadyr; Nies, Andre; Shore, Richard A.
36
1997
Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0974.68072
Calude, C. S.; Hertling, P. H.; Khoussainov, B.; Wang, Y.
29
2001
Automatic structures: richness and limitations. Zbl 1128.03028
Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank
24
2007
Deciding parity games in quasipolynomial time. Zbl 1369.68234
Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank
23
2017
Open questions in the theory of automatic structures. Zbl 1169.03352
Khoussainov, Bakhadyr; Nerode, Anil
22
2008
Automata theory and its applications. Zbl 1083.68058
Khoussainov, Bakhadyr; Nerode, Anil
22
2001
Computable isomorphisms, degree spectra of relations, and Scott families. Zbl 0927.03072
Khoussainov, Bakhadyr; Shore, Richard A.
18
1998
Definability and regularity in automatic structures. Zbl 1122.68466
Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank
18
2004
Limitwise monotonic sequences and degree spectra of structures. Zbl 1408.03028
Kalimullin, Iskander; Khoussainov, Bakhadyr; Melnikov, Alexander
17
2013
From automatic structures to automatic groups. Zbl 1322.20025
Kharlampovich, Olga; Khoussainov, Bakhadyr; Miasnikov, Alexei
17
2014
Computably categorical structures and expansions by constants. Zbl 0928.03040
Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A.
16
1999
Three lectures on automatic structures. Zbl 1228.03017
Khoussainov, Bakhadyr; Minnes, Mia
15
2010
Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0894.68081
Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge
15
1998
Automatic linear orders and trees. Zbl 1367.03070
Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank
14
2005
Automatic structures: Overview and future directions. Zbl 1058.68070
Khoussainov, Bakhadyr; Rubin, Sasha
12
2003
Effective properties of finitely generated r.e. algebras. Zbl 0837.03037
Khoussainov, Bakhadyr; Nerode, Anil
11
1995
On initial segments of computable linear orders. Zbl 0915.03040
Coles, Richard J.; Downey, Rod; Khoussainov, Bakhadyr
11
1998
The notion of rank and games. Zbl 0946.03013
Khoussainov, Bakhadyr; Nerode, Anil
10
1994
Effective model theory: The number of models and their complexity. Zbl 0940.03045
Khoussainov, Bakhadyr; Shore, Richard A.
10
1999
Finite nondeterministic automata: simulation and minimality. Zbl 0944.68098
Calude, Cristian S.; Calude, Elena; Khoussainov, Bakhadyr
9
2000
Graphs realised by r.e. equivalence relations. Zbl 1351.03028
Gavruskin, Alexander; Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank
8
2014
Uniformity in computable structure theory. Zbl 1063.03018
Downey, Rod; Hirschfeldt, Denis; Khoussainov, Bakhadyr
8
2003
A computably categorical structure whose expansion by a constant has infinite computable dimension. Zbl 1055.03026
Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.
8
2003
Reducibilities among equivalence relations induced by recursively enumerable structures. Zbl 1338.03077
Gavryushkin, Alex; Khoussainov, Bakhadyr; Stephan, Frank
8
2016
Linear orders realized by c.e. equivalence relations. Zbl 1371.03049
Fokina, Ekaterina; Khoussainov, Bakhadyr; Semukhin, Pavel; Turetsky, Daniel
8
2016
Finitely presented expansions of groups, semigroups, and algebras. Zbl 1349.03045
Khoussainov, Bakhadyr; Miasnikov, Alexei
7
2014
A computable \(\aleph_0\)-categorical structure whose theory computes true arithmetic. Zbl 1201.03020
Khoussainov, Bakhadyr; Montalbán, Antonio
6
2010
Open problems in the theory of constructive algebraic systems. Zbl 0961.03037
Goncharov, Sergey; Khoussainov, Bakhadyr
6
2000
An uncountably categorical theory whose only computably presentable model is saturated. Zbl 1107.03032
Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Semukhin, Pavel
6
2006
Degree-theoretic aspects of computably enumerable reals. Zbl 0944.03032
Calude, Cristian S.; Coles, Richard; Hertling, Peter H.; Khoussainov, Bakhadyr
6
1999
Deterministic automata. Simulation, universality and minimality. Zbl 0890.68084
Calude, Cristian; Calude, Elena; Khoussainov, Bakhadyr
6
1997
Randnomness, computability, and algebraic specifications. Zbl 0915.03037
Khoussainov, Bakhadyr
6
1998
Computable categoricity and the Ershov hierarchy. Zbl 1165.03012
Khoussainov, Bakhadyr; Stephan, Frank; Yang, Yue
6
2008
A quest for algorithmically random infinite structures. Zbl 1395.03018
Khoussainov, Bakhadyr
5
2014
On the computability-theoretic complexity of trivial, strongly minimal models. Zbl 1124.03016
Khoussainov, Bakhadyr M.; Laskowski, Michael C.; Lempp, Steffen; Solomon, Reed
5
2007
Model-theoretic complexity of automatic structures. Zbl 1221.03025
Khoussainov, Bakhadyr; Minnes, Mia
4
2009
Model theoretic complexity of automatic structures (extended abstract). Zbl 1140.03310
Khoussainov, Bakhadyr; Minnes, Mia
4
2008
Computable categoricity of graphs with finite components. Zbl 1142.03344
Csima, Barbara F.; Khoussainov, Bakhadyr; Liu, Jiamou
4
2008
Finitely presented expansions of computably enumerable semigroups. Zbl 1334.03038
Hirschfeldt, D. R.; Khoussainov, B.
4
2012
On automatic transitive graphs. Zbl 1344.68115
Berdinsky, Dmitry; Khoussainov, Bakhadyr
4
2014
Decidable Kripke models of intuitionistic theories. Zbl 0924.03060
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
4
1998
Computably enumerable algebras, their expansions, and isomorphisms. Zbl 1096.03050
Khoussainov, Bakhadyr; Lempp, Steffen; Slaman, Theodore A.
4
2005
Computable isomorphisms of Boolean algebras with operators. Zbl 1285.03059
Khoussainov, Bakhadyr; Kowalski, Tomasz
4
2012
Finite automata over structures (extended abstract). Zbl 1354.68155
Gandhi, Aniruddh; Khoussainov, Bakhadyr; Liu, Jiamou
4
2012
\(\Pi^0_1\)-presentations of algebras. Zbl 1099.03025
Khoussainov, Bakhadyr; Slaman, Theodore; Semukhin, Pavel
3
2006
Semiautomatic structures. Zbl 1408.03027
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank; Teng, Dan; Zou, Siyuan
3
2014
Graphs with automatic presentations over a unary alphabet. Zbl 0997.68074
Khoussainov, Bakhadyr; Rubin, Sasha
3
2001
Unary automatic graphs: An algorithmic perspective. Zbl 1163.68034
Khoussainov, Bakhadyr; Liu, Jiamou; Minnes, Mia
3
2009
Unary automatic graphs: An algorithmic perspective. Zbl 1139.03313
Khoussainov, Bakhadyr; Liu, Jiamou; Minnes, Mia
2
2008
Dynamising interval scheduling: the monotonic case. Zbl 1407.68109
Gavruskin, Alexander; Khoussainov, Bakhadyr; Kokho, Mikhail; Liu, Jiamou
2
2013
Computable Kripke models and intermediate logics. Zbl 0913.03033
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
2
1998
On complexity of Ehrenfeucht-Fraïssé games. Zbl 1221.03024
Khoussainov, Bakhadyr; Liu, Jiamou
1
2009
Algorithmic stability of models. Zbl 0818.03017
Khoussainov, B. M.; Dadajanov, R.
1
1993
Do the zeros of Riemann’s zeta-function form a random sequence? Zbl 0922.11073
Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr
1
1997
Complexity of some infinite games played on finite graphs. Zbl 1022.68086
Ishihara, Hajime; Khoussainov, Bakhadyr
1
2002
Recursive unary algebras and trees. Zbl 0804.03031
Khoussainov, Bakhadyr
1
1994
Finite state strategies in one player McNaughton games. Zbl 1038.91024
Khoussainov, Bakhadyr
1
2003
On game-theoretic models of networks. Zbl 1077.68721
Bodlaender, Hans L.; Dinneen, Michael J.; Khoussainov, Bakhadyr
1
2001
Algorithmically random universal algebras. Zbl 1360.08004
Khoussainov, Bakhadyr
1
2017
Semiautomatic structures. Zbl 1420.03072
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank; Teng, Dan; Zou, Siyuan
1
2017
Decision problems for finite automata over infinite algebraic structures. Zbl 06650018
Khoussainov, Bakhadyr; Liu, Jiamou
1
2016
Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Zbl 1352.03004
Day, Adam (ed.); Fellows, Michael (ed.); Greenberg, Noam (ed.); Khoussainov, Bakhadyr (ed.); Melnikov, Alexander (ed.); Rosamond, Frances (ed.)
1
2017
Tree-automatic scattered linear orders. Zbl 1339.03030
Jain, Sanjay; Khoussainov, Bakhadyr; Schlicht, Philipp; Stephan, Frank
1
2016
Finitely generated semiautomatic groups. Zbl 1396.20031
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank
1
2018
On decidable and computable models of theories. Zbl 1433.03084
Gavruskin, Alexander; Khoussainov, Bakhadyr
1
2013
Update games and update networks. Zbl 1118.91306
Dinneen, Michael J.; Khoussainov, Bakhadyr
1
2003
A quest for algorithmically random infinite structures, II. Zbl 06751237
Khoussainov, Bakhadyr
1
2016
On complexity of Ehrenfeucht-Fraïssé games. Zbl 1133.03013
Khoussainov, Bakhadyr; Liu, Jiamou
1
2007
Cayley automatic representations of wreath products. Zbl 1345.68197
Berdinsky, Dmitry; Khoussainov, Bakhadyr
1
2016
Finitely generated semiautomatic groups. Zbl 06617655
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank
1
2016
Finitely generated semiautomatic groups. Zbl 1396.20031
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank
1
2018
Deciding parity games in quasipolynomial time. Zbl 1369.68234
Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank
23
2017
Algorithmically random universal algebras. Zbl 1360.08004
Khoussainov, Bakhadyr
1
2017
Semiautomatic structures. Zbl 1420.03072
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank; Teng, Dan; Zou, Siyuan
1
2017
Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Zbl 1352.03004
Day, Adam; Fellows, Michael; Greenberg, Noam; Khoussainov, Bakhadyr; Melnikov, Alexander; Rosamond, Frances
1
2017
Reducibilities among equivalence relations induced by recursively enumerable structures. Zbl 1338.03077
Gavryushkin, Alex; Khoussainov, Bakhadyr; Stephan, Frank
8
2016
Linear orders realized by c.e. equivalence relations. Zbl 1371.03049
Fokina, Ekaterina; Khoussainov, Bakhadyr; Semukhin, Pavel; Turetsky, Daniel
8
2016
Decision problems for finite automata over infinite algebraic structures. Zbl 06650018
Khoussainov, Bakhadyr; Liu, Jiamou
1
2016
Tree-automatic scattered linear orders. Zbl 1339.03030
Jain, Sanjay; Khoussainov, Bakhadyr; Schlicht, Philipp; Stephan, Frank
1
2016
A quest for algorithmically random infinite structures, II. Zbl 06751237
Khoussainov, Bakhadyr
1
2016
Cayley automatic representations of wreath products. Zbl 1345.68197
Berdinsky, Dmitry; Khoussainov, Bakhadyr
1
2016
Finitely generated semiautomatic groups. Zbl 06617655
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank
1
2016
From automatic structures to automatic groups. Zbl 1322.20025
Kharlampovich, Olga; Khoussainov, Bakhadyr; Miasnikov, Alexei
17
2014
Graphs realised by r.e. equivalence relations. Zbl 1351.03028
Gavruskin, Alexander; Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank
8
2014
Finitely presented expansions of groups, semigroups, and algebras. Zbl 1349.03045
Khoussainov, Bakhadyr; Miasnikov, Alexei
7
2014
A quest for algorithmically random infinite structures. Zbl 1395.03018
Khoussainov, Bakhadyr
5
2014
On automatic transitive graphs. Zbl 1344.68115
Berdinsky, Dmitry; Khoussainov, Bakhadyr
4
2014
Semiautomatic structures. Zbl 1408.03027
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank; Teng, Dan; Zou, Siyuan
3
2014
Limitwise monotonic sequences and degree spectra of structures. Zbl 1408.03028
Kalimullin, Iskander; Khoussainov, Bakhadyr; Melnikov, Alexander
17
2013
Dynamising interval scheduling: the monotonic case. Zbl 1407.68109
Gavruskin, Alexander; Khoussainov, Bakhadyr; Kokho, Mikhail; Liu, Jiamou
2
2013
On decidable and computable models of theories. Zbl 1433.03084
Gavruskin, Alexander; Khoussainov, Bakhadyr
1
2013
Finitely presented expansions of computably enumerable semigroups. Zbl 1334.03038
Hirschfeldt, D. R.; Khoussainov, B.
4
2012
Computable isomorphisms of Boolean algebras with operators. Zbl 1285.03059
Khoussainov, Bakhadyr; Kowalski, Tomasz
4
2012
Finite automata over structures (extended abstract). Zbl 1354.68155
Gandhi, Aniruddh; Khoussainov, Bakhadyr; Liu, Jiamou
4
2012
Three lectures on automatic structures. Zbl 1228.03017
Khoussainov, Bakhadyr; Minnes, Mia
15
2010
A computable \(\aleph_0\)-categorical structure whose theory computes true arithmetic. Zbl 1201.03020
Khoussainov, Bakhadyr; Montalbán, Antonio
6
2010
Model-theoretic complexity of automatic structures. Zbl 1221.03025
Khoussainov, Bakhadyr; Minnes, Mia
4
2009
Unary automatic graphs: An algorithmic perspective. Zbl 1163.68034
Khoussainov, Bakhadyr; Liu, Jiamou; Minnes, Mia
3
2009
On complexity of Ehrenfeucht-Fraïssé games. Zbl 1221.03024
Khoussainov, Bakhadyr; Liu, Jiamou
1
2009
Open questions in the theory of automatic structures. Zbl 1169.03352
Khoussainov, Bakhadyr; Nerode, Anil
22
2008
Computable categoricity and the Ershov hierarchy. Zbl 1165.03012
Khoussainov, Bakhadyr; Stephan, Frank; Yang, Yue
6
2008
Model theoretic complexity of automatic structures (extended abstract). Zbl 1140.03310
Khoussainov, Bakhadyr; Minnes, Mia
4
2008
Computable categoricity of graphs with finite components. Zbl 1142.03344
Csima, Barbara F.; Khoussainov, Bakhadyr; Liu, Jiamou
4
2008
Unary automatic graphs: An algorithmic perspective. Zbl 1139.03313
Khoussainov, Bakhadyr; Liu, Jiamou; Minnes, Mia
2
2008
Automatic structures: richness and limitations. Zbl 1128.03028
Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank
24
2007
On the computability-theoretic complexity of trivial, strongly minimal models. Zbl 1124.03016
Khoussainov, Bakhadyr M.; Laskowski, Michael C.; Lempp, Steffen; Solomon, Reed
5
2007
On complexity of Ehrenfeucht-Fraïssé games. Zbl 1133.03013
Khoussainov, Bakhadyr; Liu, Jiamou
1
2007
An uncountably categorical theory whose only computably presentable model is saturated. Zbl 1107.03032
Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Semukhin, Pavel
6
2006
\(\Pi^0_1\)-presentations of algebras. Zbl 1099.03025
Khoussainov, Bakhadyr; Slaman, Theodore; Semukhin, Pavel
3
2006
Automatic linear orders and trees. Zbl 1367.03070
Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank
14
2005
Computably enumerable algebras, their expansions, and isomorphisms. Zbl 1096.03050
Khoussainov, Bakhadyr; Lempp, Steffen; Slaman, Theodore A.
4
2005
Definability and regularity in automatic structures. Zbl 1122.68466
Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank
18
2004
Automatic structures: Overview and future directions. Zbl 1058.68070
Khoussainov, Bakhadyr; Rubin, Sasha
12
2003
Uniformity in computable structure theory. Zbl 1063.03018
Downey, Rod; Hirschfeldt, Denis; Khoussainov, Bakhadyr
8
2003
A computably categorical structure whose expansion by a constant has infinite computable dimension. Zbl 1055.03026
Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.
8
2003
Finite state strategies in one player McNaughton games. Zbl 1038.91024
Khoussainov, Bakhadyr
1
2003
Update games and update networks. Zbl 1118.91306
Dinneen, Michael J.; Khoussainov, Bakhadyr
1
2003
Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034
Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M.
79
2002
Complexity of some infinite games played on finite graphs. Zbl 1022.68086
Ishihara, Hajime; Khoussainov, Bakhadyr
1
2002
Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0974.68072
Calude, C. S.; Hertling, P. H.; Khoussainov, B.; Wang, Y.
29
2001
Automata theory and its applications. Zbl 1083.68058
Khoussainov, Bakhadyr; Nerode, Anil
22
2001
Graphs with automatic presentations over a unary alphabet. Zbl 0997.68074
Khoussainov, Bakhadyr; Rubin, Sasha
3
2001
On game-theoretic models of networks. Zbl 1077.68721
Bodlaender, Hans L.; Dinneen, Michael J.; Khoussainov, Bakhadyr
1
2001
Finite nondeterministic automata: simulation and minimality. Zbl 0944.68098
Calude, Cristian S.; Calude, Elena; Khoussainov, Bakhadyr
9
2000
Open problems in the theory of constructive algebraic systems. Zbl 0961.03037
Goncharov, Sergey; Khoussainov, Bakhadyr
6
2000
Computably categorical structures and expansions by constants. Zbl 0928.03040
Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A.
16
1999
Effective model theory: The number of models and their complexity. Zbl 0940.03045
Khoussainov, Bakhadyr; Shore, Richard A.
10
1999
Degree-theoretic aspects of computably enumerable reals. Zbl 0944.03032
Calude, Cristian S.; Coles, Richard; Hertling, Peter H.; Khoussainov, Bakhadyr
6
1999
Computable isomorphisms, degree spectra of relations, and Scott families. Zbl 0927.03072
Khoussainov, Bakhadyr; Shore, Richard A.
18
1998
Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0894.68081
Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge
15
1998
On initial segments of computable linear orders. Zbl 0915.03040
Coles, Richard J.; Downey, Rod; Khoussainov, Bakhadyr
11
1998
Randnomness, computability, and algebraic specifications. Zbl 0915.03037
Khoussainov, Bakhadyr
6
1998
Decidable Kripke models of intuitionistic theories. Zbl 0924.03060
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
4
1998
Computable Kripke models and intermediate logics. Zbl 0913.03033
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil
2
1998
Computable models of theories with few models. Zbl 0891.03013
Khoussainov, Bakhadyr; Nies, Andre; Shore, Richard A.
36
1997
Deterministic automata. Simulation, universality and minimality. Zbl 0890.68084
Calude, Cristian; Calude, Elena; Khoussainov, Bakhadyr
6
1997
Do the zeros of Riemann’s zeta-function form a random sequence? Zbl 0922.11073
Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr
1
1997
Effective properties of finitely generated r.e. algebras. Zbl 0837.03037
Khoussainov, Bakhadyr; Nerode, Anil
11
1995
The notion of rank and games. Zbl 0946.03013
Khoussainov, Bakhadyr; Nerode, Anil
10
1994
Recursive unary algebras and trees. Zbl 0804.03031
Khoussainov, Bakhadyr
1
1994
Algorithmic stability of models. Zbl 0818.03017
Khoussainov, B. M.; Dadajanov, R.
1
1993
all top 5

Cited by 354 Authors

36 Khoussainov, Bakhadyr M.
28 Melnikov, Alexander G.
28 Stephan, Frank
22 Downey, Rodney Graham
21 Bazhenov, Nikolaĭ Alekseevich
16 Hirschfeldt, Denis Roman
16 Jain, Sanjay
15 Miller, Russell G.
14 Harizanov, Valentina S.
14 Kalimullin, Iskander Shagitovich
14 Ng, KengMeng
13 Calude, Cristian S.
12 Knight, Julia F.
12 Semukhin, Pavel
11 Andrews, Uri
10 Cenzer, Douglas
10 Fokina, Ekaterina B.
10 Harrison-Trainor, Matthew
9 Barmpalias, George
9 Montalbán, Antonio
8 Lempp, Steffen
8 Liu, Jiamou
8 Turetsky, Daniel D.
7 Goncharov, Sergeĭ Savost’yanovich
7 Kuske, Dietrich
6 Nies, André Otfrid
6 Remmel, Jeffrey B.
6 Solomon, Reed
6 Zheng, Xizhong
5 Ćirić, Miroslav D.
5 Csima, Barbara F.
5 Lewis-Pye, Andrew E. M.
5 Miller, Joseph S.
5 Minnes, Mia
5 Shore, Richard A.
4 Benerecetti, Massimo
4 Calvert, Wesley
4 Frolov, Andrey N.
4 Hieronymi, Philipp
4 Ignjatović, Jelena
4 Kach, Asher M.
4 Kogabaev, Nurlan Talgatovich
4 Lohrey, Markus
4 Mogavero, Fabio
4 Morozov, Andreĭ Sergeevich
4 Myasnikov, Alexei G.
4 Schlicht, Philipp
4 Sorbi, Andrea
4 Tadaki, Kohtaro
4 Zimmermann, Martín G.
3 Case, John
3 Dell’Erba, Daniele
3 Friedman, Sy-David
3 Gavryushkin, Alex
3 Greenberg, Noam
3 Kasymov, Nadimulla Khabibullaevich
3 Luo, Qinglong
3 McCoy, Charles F. D.
3 Nerode, Anil
3 Shen, Alexander
3 Shin Ong, Yuh
3 Stamenković, Aleksandar
3 Wu, Guohua
3 Yamaleev, Mars Mansurovich
3 Zainetdinov, Damir Kh.
3 Zubkov, Maxim V.
2 Badaev, Serikzhan A.
2 Bárány, Vince
2 Bašić, Milan
2 Becher, Verónica
2 Bélanger, David R.
2 Bertrand, Nathalie
2 Bienvenu, Laurent
2 Bikmukhametov, R. I.
2 Boros, Endre
2 Brittenham, Mark
2 Buss, Sam
2 Cai, Mingzhong
2 Cain, Alan J.
2 Carson, Jacob
2 Carton, Olivier
2 Dewaskar, Miheer
2 Dinneen, Michael J.
2 Droste, Manfred
2 Elbassioni, Khaled M.
2 Elder, Murray J.
2 Faĭzrahmanov, Marat Khaidarovich
2 Figueira, Santiago
2 Finkel, Olivier
2 Franklin, Johanna N. Y.
2 Gavryushkin, Alexander
2 Genest, Blaise
2 Gimbert, Hugo
2 Grigorieff, Serge
2 Gurvich, Vladimir A.
2 Hermiller, Susan M.
2 Hertling, Peter H.
2 Hölzl, Rupert
2 Huschenbett, Martin
2 Ishihara, Hajime
...and 254 more Authors
all top 5

Cited in 68 Serials

36 The Journal of Symbolic Logic
33 Annals of Pure and Applied Logic
30 Theoretical Computer Science
21 Algebra and Logic
16 Archive for Mathematical Logic
13 Journal of Computer and System Sciences
13 Siberian Mathematical Journal
11 Information and Computation
10 The Bulletin of Symbolic Logic
8 Proceedings of the American Mathematical Society
7 Journal of Algebra
7 Notre Dame Journal of Formal Logic
7 Transactions of the American Mathematical Society
7 Lobachevskii Journal of Mathematics
7 Logical Methods in Computer Science
6 Theory of Computing Systems
5 Advances in Mathematics
5 Journal of Mathematical Logic
4 Fuzzy Sets and Systems
4 Journal of Mathematical Sciences (New York)
3 Acta Informatica
3 Information Sciences
3 Studia Logica
3 Journal of Complexity
3 International Journal of Algebra and Computation
3 Russian Mathematics
3 Formal Methods in System Design
3 RAIRO. Theoretical Informatics and Applications
3 Computability
2 Algorithmica
2 MSCS. Mathematical Structures in Computer Science
2 Experimental Mathematics
2 Mathematical Logic Quarterly (MLQ)
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Journal of Logic and Analysis
2 RAIRO. Theoretical Informatics and Applications
1 Artificial Intelligence
1 Information Processing Letters
1 Israel Journal of Mathematics
1 Mathematical Notes
1 Chaos, Solitons and Fractals
1 Algebra Universalis
1 Fundamenta Mathematicae
1 Memoirs of the American Mathematical Society
1 Semigroup Forum
1 Journal of Automated Reasoning
1 Sugaku Expositions
1 International Journal of Foundations of Computer Science
1 Journal of Knot Theory and its Ramifications
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 The Electronic Journal of Combinatorics
1 Annals of Mathematics and Artificial Intelligence
1 Doklady Mathematics
1 Journal of the ACM
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Foundations of Science
1 The Journal of Logic and Algebraic Programming
1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika
1 Central European Journal of Mathematics
1 ACM Transactions on Computational Logic
1 Foundations of Physics
1 Oberwolfach Reports
1 Discrete Optimization
1 Optimization Letters
1 Groups, Geometry, and Dynamics
1 Asian-European Journal of Mathematics
1 Groups, Complexity, Cryptology

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.