×

zbMATH — the first resource for mathematics

Lutz, Carsten

Compute Distance To:
Author ID: lutz.carsten Recent zbMATH articles by "Lutz, Carsten"
Published as: Lutz, C.; Lutz, Carsten
External Links: ORCID
Documents Indexed: 77 Publications since 1999, including 6 Books

Publications by Year

Citations contained in zbMATH

63 Publications have been cited 360 times in 231 Documents Cited by Year
Conjunctive query answering for the description logic SHIQ. Zbl 1183.68244
Glimm, B.; Lutz, C.; Horrocks, I.; Sattler, U.
21
2008
The complexity of reasoning with Boolean modal logics. Zbl 1031.03037
Lutz, Carsten; Sattler, Ulrike
17
2002
The complexity of circumscription in DLs. Zbl 1182.68275
Bonatti, P. A.; Lutz, C.; Wolter, F.
14
2009
Description logics with concrete domains – a survey. Zbl 1082.03032
Lutz, Carsten
14
2003
Deciding inseparability and conservative extensions in the description logic. Zbl 1187.68572
Lutz, Carsten; Wolter, Frank
12
2010
The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
10
2008
Data complexity in the \(\mathcal{EL}\) family of description logics. Zbl 1137.68593
Krisnadhi, Adila; Lutz, Carsten
10
2007
\({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162
Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
10
2004
Modal logic and the two-variable fragment. Zbl 0999.03020
Lutz, Carsten; Sattler, Ulrike; Wolter, Frank
10
2001
Complexity of terminological reasoning revisited. Zbl 0949.03030
Lutz, Carsten
10
1999
An introduction to description logic. Zbl 1373.68002
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
9
2017
Model-theoretic inseparability and modularity of description logic ontologies. Zbl 1329.68248
Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank
9
2013
The complexity of query containment in expressive fragments of XPath 2.0. Zbl 1325.68079
ten Cate, Balder; Lutz, Carsten
9
2009
NExpTime-complete description logics with concrete domains. Zbl 1367.68288
Lutz, Carsten
9
2004
Formal properties of modularisation. Zbl 1242.68315
Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank
8
2009
Einstein relation generalized to nonequilibrium. Zbl 1228.82051
Blickle, V.; Speck, T.; Lutz, C.; Seifert, U.; Bechinger, C.
8
2007
Conservative extensions in the lightweight description logic \(\mathcal{EL}\). Zbl 1213.68592
Lutz, Carsten; Wolterinst, Frank
8
2007
Modal logics of topological relations. Zbl 1126.03026
Lutz, Carsten; Wolter, Frank
8
2006
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
7
2016
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
7
2012
The complexity of conjunctive query answering in expressive description logics. Zbl 1165.68503
Lutz, Carsten
7
2008
ATL satisfiability is indeed ExpTime-complete. Zbl 1118.03010
Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael
7
2006
Temporalising tableaux. Zbl 1050.03015
Kontchakov, Roman; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
7
2004
Query answering in description logics: the knots approach. Zbl 1246.68207
Eiter, Thomas; Lutz, Carsten; Ortiz, Magdalena; Šimkus, Mantas
6
2009
Quantitative temporal logics over the reals: PSpace and below. Zbl 1109.03012
Lutz, Carsten; Walther, Dirk; Wolter, Frank
6
2007
2-ExpTime lower bounds for propositional dynamic logics with intersection. Zbl 1100.03017
Lange, Martin; Lutz, Carsten
6
2005
A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains. Zbl 1010.03012
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
6
2002
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
6
2002
Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics. Invited talk. Zbl 1402.68046
Feier, Cristina; Kuusisto, Antti; Lutz, Carsten
5
2017
Mathematical logic for life science ontologies. Zbl 1246.68211
Lutz, Carsten; Wolter, Frank
5
2009
PDL with intersection and converse: Satisfiability and infinite-state model checking. Zbl 1181.03034
Göller, Stefan; Lohrey, Markus; Lutz, Carsten
5
2009
Propositional dynamic logic with recursive programs. Zbl 1123.03017
Löding, Christof; Lutz, Carsten; Serre, Olivier
5
2007
A tableau algorithm for description logics with concrete domains and general TBoxes. Zbl 1113.68090
Lutz, Carsten; Miličić, Maja
5
2007
Conservative extensions in modal logic. Zbl 1148.03014
Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M.
5
2006
A tableau algorithm for description logics with concrete domains and GCIs. Zbl 1142.68533
Lutz, Carsten; Miličić, Maja
5
2005
Reasoning about actions using description logics with general TBoxes. Zbl 1152.68609
Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank
4
2006
From tableaux to automata for description logics. Zbl 1273.03095
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
4
2003
PSpace reasoning with the description logic \({\mathcal A\mathcal L\mathcal C\mathcal F(\mathcal D)}\). Zbl 1018.03024
Lutz, Carsten
4
2002
Tableaux for temporal description logic with constant domains. Zbl 0988.68178
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
4
2001
A description logic with concrete domains and a role-forming predicate operator. Zbl 0940.03037
Haarslev, Volker; Lutz, Carsten; Möller, Ralf
4
1999
Foundations of instance level updates in expressive description logics. Zbl 1252.68277
Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank
3
2011
Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints. Zbl 1211.68408
Lutz, Carsten; Piro, Robert; Wolter, Frank
3
2010
The complexity of enriched \(\mu\)-calculi. Zbl 1133.68374
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
3
2006
PDL with negation of atomic programs. Zbl 1185.03058
Lutz, Carsten; Walther, Dirk
3
2005
The complexity of finite model reasoning in description logics. Zbl 1097.03022
Lutz, Carsten; Sattler, Ulrike; Tendera, Lidia
3
2005
NEXPTIME-complete description logics with concrete domains. Zbl 0988.68175
Lutz, Carsten
3
2001
Exact learning of lightweight description logic ontologies. Zbl 06982957
Konev, Boris; Lutz, Carsten; Ozaki, Ana; Wolter, Frank
2
2018
The data complexity of description logic ontologies. Zbl 1398.68517
Lutz, Carsten; Wolter, Frank
2
2017
Inseparability and conservative extensions of description logic ontologies: a survey. Zbl 1358.68282
Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
2
2017
Probabilistic description logics for subjective uncertainty. Zbl 1401.68305
Gutiérrez-Basulto, Victor; Jung, Jean Christoph; Lutz, Carsten; Schröder, Lutz
2
2017
PDL with intersection and converse is 2EXP-complete. Zbl 1180.03033
Göller, Stefan; Lohrey, Markus; Lutz, Carsten
2
2007
PDL with intersection and converse is decidable. Zbl 1136.03316
Lutz, Carsten
2
2005
PDL with negation of atomic programs. Zbl 1126.03315
Lutz, Carsten; Walther, Dirk
2
2004
Combining interval-based temporal reasoning with general TBoxes. Zbl 1082.68106
Lutz, Carsten
2
2004
From tableaux to automata for description logics. Zbl 1038.03033
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
2
2003
Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036
Lutz, Carsten (ed.); Sattler, Uli (ed.); Tinelli, Cesare (ed.); Turhan, Anni-Yasmin (ed.); Wolter, Frank (ed.)
1
2019
The data complexity of ontology-mediated queries with closed predicates. Zbl 07104931
Lutz, Carsten; Seylan, Inanc; Wolter, Frank
1
2019
Decidability of circumscribed description logics revisited. Zbl 1432.68428
Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank
1
2015
Complexity of branching temporal description logics. Zbl 1327.68252
Gutiérrez-Basulto, Víctor; Jung, Jean Christoph; Lutz, Carsten
1
2012
Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28–October 1, 2008. Proceedings. Zbl 1146.68009
Hölldobler, Steffen (ed.); Lutz, Carsten (ed.); Wansing, Heinrich (ed.)
1
2008
A correspondence between temporal description logics. Zbl 1180.68254
Artale, A.; Lutz, C.
1
2004
The complexity of finite model reasoning in description logics. Zbl 1278.68288
Lutz, Carsten; Sattler, Ulrike; Tendera, Lidia
1
2003
A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411
Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
1
2003
Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036
Lutz, Carsten (ed.); Sattler, Uli (ed.); Tinelli, Cesare (ed.); Turhan, Anni-Yasmin (ed.); Wolter, Frank (ed.)
1
2019
The data complexity of ontology-mediated queries with closed predicates. Zbl 07104931
Lutz, Carsten; Seylan, Inanc; Wolter, Frank
1
2019
Exact learning of lightweight description logic ontologies. Zbl 06982957
Konev, Boris; Lutz, Carsten; Ozaki, Ana; Wolter, Frank
2
2018
An introduction to description logic. Zbl 1373.68002
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
9
2017
Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics. Invited talk. Zbl 1402.68046
Feier, Cristina; Kuusisto, Antti; Lutz, Carsten
5
2017
The data complexity of description logic ontologies. Zbl 1398.68517
Lutz, Carsten; Wolter, Frank
2
2017
Inseparability and conservative extensions of description logic ontologies: a survey. Zbl 1358.68282
Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
2
2017
Probabilistic description logics for subjective uncertainty. Zbl 1401.68305
Gutiérrez-Basulto, Victor; Jung, Jean Christoph; Lutz, Carsten; Schröder, Lutz
2
2017
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
7
2016
Decidability of circumscribed description logics revisited. Zbl 1432.68428
Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank
1
2015
Model-theoretic inseparability and modularity of description logic ontologies. Zbl 1329.68248
Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank
9
2013
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
7
2012
Complexity of branching temporal description logics. Zbl 1327.68252
Gutiérrez-Basulto, Víctor; Jung, Jean Christoph; Lutz, Carsten
1
2012
Foundations of instance level updates in expressive description logics. Zbl 1252.68277
Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank
3
2011
Deciding inseparability and conservative extensions in the description logic. Zbl 1187.68572
Lutz, Carsten; Wolter, Frank
12
2010
Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints. Zbl 1211.68408
Lutz, Carsten; Piro, Robert; Wolter, Frank
3
2010
The complexity of circumscription in DLs. Zbl 1182.68275
Bonatti, P. A.; Lutz, C.; Wolter, F.
14
2009
The complexity of query containment in expressive fragments of XPath 2.0. Zbl 1325.68079
ten Cate, Balder; Lutz, Carsten
9
2009
Formal properties of modularisation. Zbl 1242.68315
Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank
8
2009
Query answering in description logics: the knots approach. Zbl 1246.68207
Eiter, Thomas; Lutz, Carsten; Ortiz, Magdalena; Šimkus, Mantas
6
2009
Mathematical logic for life science ontologies. Zbl 1246.68211
Lutz, Carsten; Wolter, Frank
5
2009
PDL with intersection and converse: Satisfiability and infinite-state model checking. Zbl 1181.03034
Göller, Stefan; Lohrey, Markus; Lutz, Carsten
5
2009
Conjunctive query answering for the description logic SHIQ. Zbl 1183.68244
Glimm, B.; Lutz, C.; Horrocks, I.; Sattler, U.
21
2008
The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
10
2008
The complexity of conjunctive query answering in expressive description logics. Zbl 1165.68503
Lutz, Carsten
7
2008
Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28–October 1, 2008. Proceedings. Zbl 1146.68009
Hölldobler, Steffen (ed.); Lutz, Carsten (ed.); Wansing, Heinrich (ed.)
1
2008
Data complexity in the \(\mathcal{EL}\) family of description logics. Zbl 1137.68593
Krisnadhi, Adila; Lutz, Carsten
10
2007
Einstein relation generalized to nonequilibrium. Zbl 1228.82051
Blickle, V.; Speck, T.; Lutz, C.; Seifert, U.; Bechinger, C.
8
2007
Conservative extensions in the lightweight description logic \(\mathcal{EL}\). Zbl 1213.68592
Lutz, Carsten; Wolterinst, Frank
8
2007
Quantitative temporal logics over the reals: PSpace and below. Zbl 1109.03012
Lutz, Carsten; Walther, Dirk; Wolter, Frank
6
2007
Propositional dynamic logic with recursive programs. Zbl 1123.03017
Löding, Christof; Lutz, Carsten; Serre, Olivier
5
2007
A tableau algorithm for description logics with concrete domains and general TBoxes. Zbl 1113.68090
Lutz, Carsten; Miličić, Maja
5
2007
PDL with intersection and converse is 2EXP-complete. Zbl 1180.03033
Göller, Stefan; Lohrey, Markus; Lutz, Carsten
2
2007
Modal logics of topological relations. Zbl 1126.03026
Lutz, Carsten; Wolter, Frank
8
2006
ATL satisfiability is indeed ExpTime-complete. Zbl 1118.03010
Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael
7
2006
Conservative extensions in modal logic. Zbl 1148.03014
Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M.
5
2006
Reasoning about actions using description logics with general TBoxes. Zbl 1152.68609
Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank
4
2006
The complexity of enriched \(\mu\)-calculi. Zbl 1133.68374
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
3
2006
2-ExpTime lower bounds for propositional dynamic logics with intersection. Zbl 1100.03017
Lange, Martin; Lutz, Carsten
6
2005
A tableau algorithm for description logics with concrete domains and GCIs. Zbl 1142.68533
Lutz, Carsten; Miličić, Maja
5
2005
PDL with negation of atomic programs. Zbl 1185.03058
Lutz, Carsten; Walther, Dirk
3
2005
The complexity of finite model reasoning in description logics. Zbl 1097.03022
Lutz, Carsten; Sattler, Ulrike; Tendera, Lidia
3
2005
PDL with intersection and converse is decidable. Zbl 1136.03316
Lutz, Carsten
2
2005
\({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162
Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
10
2004
NExpTime-complete description logics with concrete domains. Zbl 1367.68288
Lutz, Carsten
9
2004
Temporalising tableaux. Zbl 1050.03015
Kontchakov, Roman; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
7
2004
PDL with negation of atomic programs. Zbl 1126.03315
Lutz, Carsten; Walther, Dirk
2
2004
Combining interval-based temporal reasoning with general TBoxes. Zbl 1082.68106
Lutz, Carsten
2
2004
A correspondence between temporal description logics. Zbl 1180.68254
Artale, A.; Lutz, C.
1
2004
Description logics with concrete domains – a survey. Zbl 1082.03032
Lutz, Carsten
14
2003
From tableaux to automata for description logics. Zbl 1273.03095
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
4
2003
From tableaux to automata for description logics. Zbl 1038.03033
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
2
2003
The complexity of finite model reasoning in description logics. Zbl 1278.68288
Lutz, Carsten; Sattler, Ulrike; Tendera, Lidia
1
2003
A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411
Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
1
2003
The complexity of reasoning with Boolean modal logics. Zbl 1031.03037
Lutz, Carsten; Sattler, Ulrike
17
2002
A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains. Zbl 1010.03012
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
6
2002
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
6
2002
PSpace reasoning with the description logic \({\mathcal A\mathcal L\mathcal C\mathcal F(\mathcal D)}\). Zbl 1018.03024
Lutz, Carsten
4
2002
Modal logic and the two-variable fragment. Zbl 0999.03020
Lutz, Carsten; Sattler, Ulrike; Wolter, Frank
10
2001
Tableaux for temporal description logic with constant domains. Zbl 0988.68178
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
4
2001
NEXPTIME-complete description logics with concrete domains. Zbl 0988.68175
Lutz, Carsten
3
2001
Complexity of terminological reasoning revisited. Zbl 0949.03030
Lutz, Carsten
10
1999
A description logic with concrete domains and a role-forming predicate operator. Zbl 0940.03037
Haarslev, Volker; Lutz, Carsten; Möller, Ralf
4
1999
all top 5

Cited by 365 Authors

17 Lutz, Carsten
14 Wolter, Frank
10 Demri, Stéphane P.
9 Baader, Franz
9 Zakharyaschev, Michael Viktorovich
8 Murano, Aniello
7 Eiter, Thomas
7 Ortiz, Magdalena
7 Peñaloza, Rafael
6 Calvanese, Diego
6 Ryzhikov, Vladislav
5 Dixon, Clare
5 Horrocks, Ian
5 Kuusisto, Antti
4 Botoeva, Elena
4 Cuenca Grau, Bernardo
4 Giordano, Laura
4 Goranko, Valentin F.
4 Konev, Boris
4 Kontchakov, Roman
4 Lange, Martin
4 Mogavero, Fabio
4 Seylan, İnanç
4 Šimkus, Mantas
4 Turhan, Anni-Yasmin
3 Ågotnes, Thomas
3 Alechina, Natasha
3 Artale, Alessandro
3 Baiesi, Marco
3 Benevides, Mario R. F.
3 Bollig, Benedikt
3 Bonatti, Piero Andrea
3 Britz, Katarina
3 Deters, Morgan
3 Gastin, Paul
3 Gonçalves, Ricardo
3 Knorr, Matthias
3 Kutz, Oliver
3 Leite, João
3 Lippmann, Marcel
3 Maes, Christian
3 Marx, Maarten
3 Nalon, Cláudia
3 Rybakov, Vladimir Vladimirovich
3 Sattler, Ulrike
3 Sorrentino, Loredana
3 ten Cate, Balder David
3 Varzinczak, Ivan Jóse
3 Woltran, Stefan
3 Wynants, Bram
2 Aranda-Corral, Gonzalo A.
2 Bienvenu, Meghyn
2 Bobillo, Fernando
2 Borrego-Díaz, Joaquín
2 Condotta, Jean-François
2 De Giacomo, Giuseppe
2 Ecke, Andreas
2 Fernández-Lebrón, M. Magdalena
2 Fisher, Michael E.
2 Fisher, Michael W.
2 French, Tim
2 Gascon, Régis
2 Göller, Stefan
2 Haeusler, Edward Hermann
2 Hella, Lauri T.
2 Hustadt, Ullrich
2 Ianni, Giovambattista
2 Jackson, Marcel G.
2 Jamroga, Wojciech
2 Jiang, Yuncheng
2 Kazakov, Yevgeny
2 Kikot, Stanislav
2 Kostylev, Egor V.
2 Kurucz, Agi
2 Le Ber, Florence
2 Lenzerini, Maurizio
2 Litak, Tadeusz
2 Liu, Hongkai
2 Lohrey, Markus
2 Lopes, Bruno Domeniciano
2 Malvone, Vadim
2 Martens, Wim
2 Miličić, Maja
2 Moller, Ralf
2 Motik, Boris
2 Napoli, Amedeo
2 Pozzato, Gian Luca
2 Pratt-Hartmann, Ian
2 Prisacariu, Cristian
2 Rabinovich, Alexander
2 Reutter, Juan L.
2 Rosati, Riccardo
2 Rubin, Sasha
2 Rudolph, Sebastian
2 Sauro, Luigi
2 Schindlauer, Roman
2 Schmidt, Renate A.
2 Schneider, Gerardo
2 Schwarzentruber, François
2 Sciavicco, Guido
...and 265 more Authors
all top 5

Cited in 47 Serials

26 Artificial Intelligence
15 Information and Computation
13 Theoretical Computer Science
12 Journal of Automated Reasoning
10 Journal of Applied Logic
9 ACM Transactions on Computational Logic
8 Journal of Applied Non-Classical Logics
7 Annals of Mathematics and Artificial Intelligence
6 Logical Methods in Computer Science
5 Journal of Statistical Physics
5 Journal of Computer and System Sciences
5 The Journal of Symbolic Logic
5 Studia Logica
4 Fuzzy Sets and Systems
4 Theory and Practice of Logic Programming
3 Synthese
3 International Journal of Approximate Reasoning
3 Journal of Logic, Language and Information
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
3 Journal of Logical and Algebraic Methods in Programming
2 Acta Informatica
2 Discrete Applied Mathematics
2 Information Processing Letters
2 Information Sciences
2 MSCS. Mathematical Structures in Computer Science
2 Theory of Computing Systems
2 Logica Universalis
1 Mathematical Notes
1 Problems of Information Transmission
1 Journal of Philosophical Logic
1 SIAM Journal on Computing
1 Siberian Mathematical Journal
1 Annals of Pure and Applied Logic
1 Journal of Symbolic Computation
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 Journal of the ACM
1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 The Journal of Logic and Algebraic Programming
1 Journal of Machine Learning Research (JMLR)
1 Central European Journal of Mathematics
1 The European Physical Journal B. Condensed Matter and Complex Systems
1 Journal of Physics A: Mathematical and Theoretical
1 International Journal of Intelligent Computing and Cybernetics
1 Frontiers of Computer Science
1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki
1 Computer Science Review

Citations by Year