×

zbMATH — the first resource for mathematics

Libkin, Leonid O.

Compute Distance To:
Author ID: libkin.leonid-o Recent zbMATH articles by "Libkin, Leonid O."
Published as: Libkin, L.; Libkin, L. O.; Libkin, Leonid; Libkin, Leonid O.
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 117 Publications since 1988, including 9 Books

Publications by Year

Citations contained in zbMATH Open

91 Publications have been cited 612 times in 420 Documents Cited by Year
Elements of finite model theory. Zbl 1060.03002
Libkin, Leonid
140
2004
On XML integrity constraints in the presence of DTDs. Zbl 1326.68120
Fan, Wenfei; Libkin, Leonid
25
2002
Relational expressive power of constraint query languages. Zbl 0902.68047
Benedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon
25
1998
Finite model theory and its applications. Zbl 1133.03001
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
23
2007
Constraint databases. Zbl 0935.00022
Kuper, Gabriel (ed.); Libkin, Leonid (ed.); Paredaens, Jan (ed.)
22
2000
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
21
2008
Relational and XML data exchange. Zbl 1216.68003
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid; Murlak, Filip
17
2010
Functional dependencies in relational databases: A lattice point of view. Zbl 0767.68029
Demetrovics, János; Libkin, Leonid; Muchnik, Ilya B.
17
1992
XML data exchange: consistency and query answering. Zbl 1326.68116
Arenas, Marcelo; Libkin, Leonid
16
2008
Query languages for bags and aggregate functions. Zbl 0887.68022
Libkin, Leonid; Wong, Limsoon
14
1997
On the complexity of verifying consistency of XML specifications. Zbl 1186.68156
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
11
2008
Querying regular graph patterns. Zbl 1295.68125
Barceló, Pablo; Libkin, Leonid; Reutter, Juan L.
10
2014
XML with incomplete information. Zbl 1327.68088
Barceló, Pablo; Libkin, Leonid; Poggi, Antonella; Sirangelo, Cristina
10
2010
Notions of locality and their logical characterizations over finite models. Zbl 0946.03012
Hella, Lauri; Libkin, Leonid; Nurmonen, Juha
10
1999
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Zbl 0727.68026
Gottlob, G.; Libkin, L.
10
1990
Logics for unranked trees: an overview. Zbl 1126.03039
Libkin, Leonid
9
2006
An information-theoretic approach to normal forms for relational and XML data. Zbl 1311.94021
Arenas, Marcelo; Libkin, Leonid
9
2005
Definable relations and first-order query languages over strings. Zbl 1325.03031
Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc
9
2003
Logics with counting and local properties. Zbl 1365.03025
Libkin, Leonid
9
2000
Regular languages of nested words: Fixed points, automata, and synchronization. Zbl 1171.68521
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
8
2007
Logics with aggregate operators. Zbl 1127.68367
Hella, Lauri; Libkin, Leonid; Nurmonen, Juha; Wong, Limsoon
8
2001
Direct decompositions of atomistic algebraic lattices. Zbl 0818.06004
Libkin, L.
8
1995
Algorithmic metatheorems for decidable LTL model checking over infinite systems. Zbl 1284.68416
To, Anthony Widjaja; Libkin, Leonid
7
2010
Relational queries over interpreted structures. Zbl 1327.68089
Benedikt, Michael; Libkin, Leonid
7
2000
Safe constraint queries. Zbl 0949.68061
Benedikt, Michael; Libkin, Leonid
7
2000
Data exchange and schema mappings in open and closed worlds. Zbl 1215.68093
Libkin, Leonid; Sirangelo, Cristina
6
2011
Consistency of XML specifications. Zbl 1111.68662
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
6
2004
Path logics for querying graphs: combining expressiveness and efficiency. Zbl 1401.68061
Figueira, Diego; Libkin, Leonid
5
2015
SQL’s three-valued logic and certain answers. Zbl 1365.68213
Libkin, Leonid
5
2015
Parameterized regular expressions and their languages. Zbl 1259.68104
Barceló, Pablo; Reutter, Juan; Libkin, Leonid
5
2013
Incremental recomputation in local languages. Zbl 1054.68085
Dong, Guozhu; Libkin, Leonid; Wong, Limsoon
5
2003
What’s hard about XML schema constraints? Zbl 1017.68566
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
5
2002
Certain answers as objects and knowledge. Zbl 1351.68090
Libkin, Leonid
4
2016
Regular expressions for data words. Zbl 1320.68113
Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj
4
2015
Graph logics with rational relations. Zbl 1272.03147
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2013
Graph logics with rational relations and the generalized intersection problem. Zbl 1362.68063
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2012
Reasoning about XML with temporal logics and automata. Zbl 1182.68123
Libkin, Leonid; Sirangelo, Cristina
4
2008
Local properties of query languages. Zbl 0945.68045
Dong, G.; Libkin, L.; Wong, L.
4
2000
Conservativity of nested relational calculi with internal generic functions. Zbl 0803.68027
Libkin, Leonid; Wong, Limsoon
4
1994
Absolutely determined matrices. Zbl 0712.15025
Gurvich, Vladimir A.; Libkin, Leonid O.
4
1990
Querying graphs with data. Zbl 1426.68080
Libkin, Leonid; Martens, Wim; Vrgoč, Domagoj
3
2016
Efficient approximations of conjunctive queries. Zbl 1308.68052
Barceló, Pablo; Libkin, Leonid; Romero, Miguel
3
2014
Regular expressions for data words. Zbl 1352.68136
Libkin, Leonid; Vrgoč, Domagoj
3
2012
On the satisfiability of two-variable logic over data words. Zbl 1307.03020
David, Claire; Libkin, Leonid; Tan, Tony
3
2010
Logical definability and query languages over ranked and unranked trees. Zbl 1367.03050
Benedikt, Michael; Libkin, Leonid; Neven, Frank
3
2007
Logics for unranked trees: An overview. Zbl 1084.68028
Libkin, Leonid
3
2005
On representation and querying incomplete information in databases with bags. Zbl 0875.68354
Libkin, Leonid; Wong, Limsoon
3
1995
On the interaction between closure operations and choice functions with applications to relational databases. Zbl 0787.68032
Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya
3
1992
Parallel axiom in convexity lattices. Zbl 0768.06008
Libkin, L. O.
3
1992
On relational database schemes having unique minimal key. Zbl 0731.68029
Biskup, Joachim; Demetrovics, János; Libkin, Leonid O.; Muchnik, Ilya B.
3
1991
On a subsemilattice-lattice of a semilattice. Zbl 0676.06012
Libkin, L. O.; Muchnik, I. B.
3
1988
Separatory subsemilattices and their properties. Zbl 0676.06011
Libkin, L. O.; Muchnik, I. B.
3
1988
Certain answers over incomplete XML documents: extending tractability boundary. Zbl 1352.68081
Gheerbrant, Amélie; Libkin, Leonid
2
2015
Regular expressions with binding over data words for querying graph databases. Zbl 1381.68126
Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj
2
2013
Tractable XML data exchange via relations. Zbl 1251.68083
Chirkova, Rada; Libkin, Leonid; Reutter, Juan L.
2
2012
Reasoning about XML with temporal logics and automata. Zbl 1192.68435
Libkin, Leonid; Sirangelo, Cristina
2
2010
Reachability and connectivity queries in constraint databases. Zbl 1026.68036
Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc
2
2003
Aggregate operators in constraint query languages. Zbl 1052.68024
Benedikt, Michael; Libkin, Leonid
2
2002
On the power of incremental evaluation in SQL-Like languages. Zbl 1044.68583
Libkin, Leonid; Wong, Limsoon
2
2000
Verifiable properties of database transactions. Zbl 0927.68032
Benedikt, Michael; Griffin, Timothy; Libkin, Leonid
2
1998
Models of approximation in databases. Zbl 0903.68059
Libkin, Leonid
2
1998
Semantic representations and query languages for or-sets. Zbl 0846.68028
Libkin, Leonid; Wong, Limsoon
2
1996
\(n\)-distributivity, dimension and Carathéodory’s theorem. Zbl 0832.06010
Libkin, L.
2
1995
Trees as semilattices. Zbl 0829.06004
Libkin, Leonid; Gurvich, Vladimir
2
1995
Separatory sublattices and subsemilattices. Zbl 0741.06004
Libkin, L.; Muchnik, I.
2
1992
Quasilinear monotone systems. Zbl 0718.90097
Libkin, L. O.; Muchnik, I. B.; Shvartser, L. V.
2
1989
Quasilinear set functions and absolute definite matrices. Zbl 0713.90097
Gurvich, V. A.; Libkin, L. O.
2
1989
Minimal sets of choice functions generating the basic classes. Zbl 0798.90008
Libkin, L. O.
2
1988
Synchronizing relations on words. Zbl 1335.68118
Figueira, Diego; Libkin, Leonid
1
2015
Pattern logics and auxiliary relations. Zbl 1394.68095
Figueira, Diego; Libkin, Leonid
1
2014
Synchronizing relations on words. Zbl 1359.68240
Figueira, Diego; Libkin, Leonid
1
2014
On the aggregation problem for synthesized web services. Zbl 1408.68029
Deng, Ting; Fan, Wenfei; Libkin, Leonid; Wu, Yinghui
1
2013
Solutions and query rewriting in data exchange. Zbl 1358.68156
Arenas, Marcelo; Barceló, Pablo; Fagin, Ronald; Libkin, Leonid
1
2013
Regular languages of nested words: fixed points, automata, and synchronization. Zbl 1236.68160
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
1
2011
Disjoint pattern matching and implication in strings. Zbl 1209.68175
Libkin, Leonid; Sirangelo, Cristina
1
2010
Recurrent reachability analysis in regular model checking. Zbl 1182.68125
To, Anthony Widjaja; Libkin, Leonid
1
2008
Embedded finite models. Zbl 1169.68388
Libkin, Leonid
1
2006
Game-based notions of locality over finite models. Zbl 1095.03020
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
1
2004
A collapse result for constraint queries over structures of small degree. Zbl 1162.68418
Libkin, Leonid
1
2003
Lower bounds for invariant queries in logics with counting. Zbl 1058.03030
Libkin, Leonid; Wong, Limsoon
1
2002
Logics capturing local properties. Zbl 1365.03026
Libkin, Leonid
1
2001
Variable independence, quantifier elimination, and constraint representations. Zbl 0973.68083
Libkin, Leonid
1
2000
Query safety with constraints. Zbl 0989.68045
Benedikt, Michael; Libkin, Leonid
1
2000
Logics capturing local properties. Zbl 0953.03040
Libkin, Leonid
1
2000
On counting logics and local properties. Zbl 0945.03547
Libkin, Leonid
1
1998
Unary quantifiers, transitive closure, and relations of large degree. Zbl 0893.03012
Libkin, Leonid; Wong, Limsoon
1
1998
Semantics in databases. Zbl 0885.68006
Thalheim, Bernhard (ed.); Libkin, Leonid (ed.)
1
1998
The lattice of subsemilattices of a semilattice. Zbl 0797.06003
Libkin, Leonid; Muchnik, Ilya
1
1994
Direct product decompositions of lattices, closures and relation schemes. Zbl 0780.06003
Libkin, Leonid
1
1993
Normal form relation schemes: A new characterization. Zbl 0787.68033
Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya
1
1992
Quasiconvex analysis on semilattices, and absolutely determined matrices. Zbl 0777.90084
Gurvich, V. A.; Libkin, L. O.
1
1991
Certain answers as objects and knowledge. Zbl 1351.68090
Libkin, Leonid
4
2016
Querying graphs with data. Zbl 1426.68080
Libkin, Leonid; Martens, Wim; Vrgoč, Domagoj
3
2016
Path logics for querying graphs: combining expressiveness and efficiency. Zbl 1401.68061
Figueira, Diego; Libkin, Leonid
5
2015
SQL’s three-valued logic and certain answers. Zbl 1365.68213
Libkin, Leonid
5
2015
Regular expressions for data words. Zbl 1320.68113
Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj
4
2015
Certain answers over incomplete XML documents: extending tractability boundary. Zbl 1352.68081
Gheerbrant, Amélie; Libkin, Leonid
2
2015
Synchronizing relations on words. Zbl 1335.68118
Figueira, Diego; Libkin, Leonid
1
2015
Querying regular graph patterns. Zbl 1295.68125
Barceló, Pablo; Libkin, Leonid; Reutter, Juan L.
10
2014
Efficient approximations of conjunctive queries. Zbl 1308.68052
Barceló, Pablo; Libkin, Leonid; Romero, Miguel
3
2014
Pattern logics and auxiliary relations. Zbl 1394.68095
Figueira, Diego; Libkin, Leonid
1
2014
Synchronizing relations on words. Zbl 1359.68240
Figueira, Diego; Libkin, Leonid
1
2014
Parameterized regular expressions and their languages. Zbl 1259.68104
Barceló, Pablo; Reutter, Juan; Libkin, Leonid
5
2013
Graph logics with rational relations. Zbl 1272.03147
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2013
Regular expressions with binding over data words for querying graph databases. Zbl 1381.68126
Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj
2
2013
On the aggregation problem for synthesized web services. Zbl 1408.68029
Deng, Ting; Fan, Wenfei; Libkin, Leonid; Wu, Yinghui
1
2013
Solutions and query rewriting in data exchange. Zbl 1358.68156
Arenas, Marcelo; Barceló, Pablo; Fagin, Ronald; Libkin, Leonid
1
2013
Graph logics with rational relations and the generalized intersection problem. Zbl 1362.68063
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2012
Regular expressions for data words. Zbl 1352.68136
Libkin, Leonid; Vrgoč, Domagoj
3
2012
Tractable XML data exchange via relations. Zbl 1251.68083
Chirkova, Rada; Libkin, Leonid; Reutter, Juan L.
2
2012
Data exchange and schema mappings in open and closed worlds. Zbl 1215.68093
Libkin, Leonid; Sirangelo, Cristina
6
2011
Regular languages of nested words: fixed points, automata, and synchronization. Zbl 1236.68160
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
1
2011
Relational and XML data exchange. Zbl 1216.68003
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid; Murlak, Filip
17
2010
XML with incomplete information. Zbl 1327.68088
Barceló, Pablo; Libkin, Leonid; Poggi, Antonella; Sirangelo, Cristina
10
2010
Algorithmic metatheorems for decidable LTL model checking over infinite systems. Zbl 1284.68416
To, Anthony Widjaja; Libkin, Leonid
7
2010
On the satisfiability of two-variable logic over data words. Zbl 1307.03020
David, Claire; Libkin, Leonid; Tan, Tony
3
2010
Reasoning about XML with temporal logics and automata. Zbl 1192.68435
Libkin, Leonid; Sirangelo, Cristina
2
2010
Disjoint pattern matching and implication in strings. Zbl 1209.68175
Libkin, Leonid; Sirangelo, Cristina
1
2010
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
21
2008
XML data exchange: consistency and query answering. Zbl 1326.68116
Arenas, Marcelo; Libkin, Leonid
16
2008
On the complexity of verifying consistency of XML specifications. Zbl 1186.68156
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
11
2008
Reasoning about XML with temporal logics and automata. Zbl 1182.68123
Libkin, Leonid; Sirangelo, Cristina
4
2008
Recurrent reachability analysis in regular model checking. Zbl 1182.68125
To, Anthony Widjaja; Libkin, Leonid
1
2008
Finite model theory and its applications. Zbl 1133.03001
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
23
2007
Regular languages of nested words: Fixed points, automata, and synchronization. Zbl 1171.68521
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
8
2007
Logical definability and query languages over ranked and unranked trees. Zbl 1367.03050
Benedikt, Michael; Libkin, Leonid; Neven, Frank
3
2007
Logics for unranked trees: an overview. Zbl 1126.03039
Libkin, Leonid
9
2006
Embedded finite models. Zbl 1169.68388
Libkin, Leonid
1
2006
An information-theoretic approach to normal forms for relational and XML data. Zbl 1311.94021
Arenas, Marcelo; Libkin, Leonid
9
2005
Logics for unranked trees: An overview. Zbl 1084.68028
Libkin, Leonid
3
2005
Elements of finite model theory. Zbl 1060.03002
Libkin, Leonid
140
2004
Consistency of XML specifications. Zbl 1111.68662
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
6
2004
Game-based notions of locality over finite models. Zbl 1095.03020
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
1
2004
Definable relations and first-order query languages over strings. Zbl 1325.03031
Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc
9
2003
Incremental recomputation in local languages. Zbl 1054.68085
Dong, Guozhu; Libkin, Leonid; Wong, Limsoon
5
2003
Reachability and connectivity queries in constraint databases. Zbl 1026.68036
Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc
2
2003
A collapse result for constraint queries over structures of small degree. Zbl 1162.68418
Libkin, Leonid
1
2003
On XML integrity constraints in the presence of DTDs. Zbl 1326.68120
Fan, Wenfei; Libkin, Leonid
25
2002
What’s hard about XML schema constraints? Zbl 1017.68566
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
5
2002
Aggregate operators in constraint query languages. Zbl 1052.68024
Benedikt, Michael; Libkin, Leonid
2
2002
Lower bounds for invariant queries in logics with counting. Zbl 1058.03030
Libkin, Leonid; Wong, Limsoon
1
2002
Logics with aggregate operators. Zbl 1127.68367
Hella, Lauri; Libkin, Leonid; Nurmonen, Juha; Wong, Limsoon
8
2001
Logics capturing local properties. Zbl 1365.03026
Libkin, Leonid
1
2001
Constraint databases. Zbl 0935.00022
Kuper, Gabriel (ed.); Libkin, Leonid (ed.); Paredaens, Jan (ed.)
22
2000
Logics with counting and local properties. Zbl 1365.03025
Libkin, Leonid
9
2000
Relational queries over interpreted structures. Zbl 1327.68089
Benedikt, Michael; Libkin, Leonid
7
2000
Safe constraint queries. Zbl 0949.68061
Benedikt, Michael; Libkin, Leonid
7
2000
Local properties of query languages. Zbl 0945.68045
Dong, G.; Libkin, L.; Wong, L.
4
2000
On the power of incremental evaluation in SQL-Like languages. Zbl 1044.68583
Libkin, Leonid; Wong, Limsoon
2
2000
Variable independence, quantifier elimination, and constraint representations. Zbl 0973.68083
Libkin, Leonid
1
2000
Query safety with constraints. Zbl 0989.68045
Benedikt, Michael; Libkin, Leonid
1
2000
Logics capturing local properties. Zbl 0953.03040
Libkin, Leonid
1
2000
Notions of locality and their logical characterizations over finite models. Zbl 0946.03012
Hella, Lauri; Libkin, Leonid; Nurmonen, Juha
10
1999
Relational expressive power of constraint query languages. Zbl 0902.68047
Benedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon
25
1998
Verifiable properties of database transactions. Zbl 0927.68032
Benedikt, Michael; Griffin, Timothy; Libkin, Leonid
2
1998
Models of approximation in databases. Zbl 0903.68059
Libkin, Leonid
2
1998
On counting logics and local properties. Zbl 0945.03547
Libkin, Leonid
1
1998
Unary quantifiers, transitive closure, and relations of large degree. Zbl 0893.03012
Libkin, Leonid; Wong, Limsoon
1
1998
Semantics in databases. Zbl 0885.68006
Thalheim, Bernhard (ed.); Libkin, Leonid (ed.)
1
1998
Query languages for bags and aggregate functions. Zbl 0887.68022
Libkin, Leonid; Wong, Limsoon
14
1997
Semantic representations and query languages for or-sets. Zbl 0846.68028
Libkin, Leonid; Wong, Limsoon
2
1996
Direct decompositions of atomistic algebraic lattices. Zbl 0818.06004
Libkin, L.
8
1995
On representation and querying incomplete information in databases with bags. Zbl 0875.68354
Libkin, Leonid; Wong, Limsoon
3
1995
\(n\)-distributivity, dimension and Carathéodory’s theorem. Zbl 0832.06010
Libkin, L.
2
1995
Trees as semilattices. Zbl 0829.06004
Libkin, Leonid; Gurvich, Vladimir
2
1995
Conservativity of nested relational calculi with internal generic functions. Zbl 0803.68027
Libkin, Leonid; Wong, Limsoon
4
1994
The lattice of subsemilattices of a semilattice. Zbl 0797.06003
Libkin, Leonid; Muchnik, Ilya
1
1994
Direct product decompositions of lattices, closures and relation schemes. Zbl 0780.06003
Libkin, Leonid
1
1993
Functional dependencies in relational databases: A lattice point of view. Zbl 0767.68029
Demetrovics, János; Libkin, Leonid; Muchnik, Ilya B.
17
1992
On the interaction between closure operations and choice functions with applications to relational databases. Zbl 0787.68032
Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya
3
1992
Parallel axiom in convexity lattices. Zbl 0768.06008
Libkin, L. O.
3
1992
Separatory sublattices and subsemilattices. Zbl 0741.06004
Libkin, L.; Muchnik, I.
2
1992
Normal form relation schemes: A new characterization. Zbl 0787.68033
Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya
1
1992
On relational database schemes having unique minimal key. Zbl 0731.68029
Biskup, Joachim; Demetrovics, János; Libkin, Leonid O.; Muchnik, Ilya B.
3
1991
Quasiconvex analysis on semilattices, and absolutely determined matrices. Zbl 0777.90084
Gurvich, V. A.; Libkin, L. O.
1
1991
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Zbl 0727.68026
Gottlob, G.; Libkin, L.
10
1990
Absolutely determined matrices. Zbl 0712.15025
Gurvich, Vladimir A.; Libkin, Leonid O.
4
1990
Quasilinear monotone systems. Zbl 0718.90097
Libkin, L. O.; Muchnik, I. B.; Shvartser, L. V.
2
1989
Quasilinear set functions and absolute definite matrices. Zbl 0713.90097
Gurvich, V. A.; Libkin, L. O.
2
1989
On a subsemilattice-lattice of a semilattice. Zbl 0676.06012
Libkin, L. O.; Muchnik, I. B.
3
1988
Separatory subsemilattices and their properties. Zbl 0676.06011
Libkin, L. O.; Muchnik, I. B.
3
1988
Minimal sets of choice functions generating the basic classes. Zbl 0798.90008
Libkin, L. O.
2
1988
all top 5

Cited by 617 Authors

32 Libkin, Leonid O.
12 Link, Sebastian
10 Barceló, Pablo
9 Grohe, Martin
9 Hartmann, Sven
9 Schwentick, Thomas
9 Van den Bussche, Jan
8 Van Gucht, Dirk
7 Arenas, Marcelo
7 Bollig, Benedikt
7 Makowsky, Johann-Andreas
7 Reutter, Juan L.
7 Zhukovskii, Maxim Evgenievich
6 Benedikt, Michael A.
6 Dawar, Anuj
6 Demetrovics, János
6 Gurvich, Vladimir A.
6 Gyssens, Marc
6 Kuske, Dietrich
6 Schweikardt, Nicole
6 Wong, Limsoon
5 Courcelle, Bruno
5 Kuijpers, Bart H. M.
5 Lohrey, Markus
5 Martins, Ana Teresa
5 Salomaa, Kai T.
5 Segoufin, Luc
5 Vrgoč, Domagoj
5 Zeume, Thomas
4 Biskup, Joachim
4 Bozzelli, Laura
4 Ferrarotti, Flavio Antonio
4 Filiot, Emmanuel
4 Geerts, Floris
4 Kotek, Tomer
4 Lin, Anthony Widjaja
4 Makino, Kazuhisa
4 Mandrioli, Dino
4 Pradella, Matteo
4 Szeider, Stefan
4 Vianu, Victor
4 Zapata, Octavio
3 Abiteboul, Serge
3 Abramsky, Samson
3 Asher, Nicholas M.
3 Björklund, Henrik
3 Boros, Endre
3 Chirkova, Rada
3 Choffrut, Christian
3 David, Claire
3 Durand, Arnaud
3 Fagin, Ronald
3 Fan, Wenfei
3 Ganian, Robert
3 Göller, Stefan
3 Grigorieff, Serge
3 Grimson, Rafael
3 Gurov, Dilian
3 Huisman, Marieke
3 Köhler, Henning
3 Kolaitis, Phokion G.
3 Kostylev, Egor V.
3 Krebs, Andreas
3 Kuusisto, Antti
3 Liu, Jiamou
3 Liu, Jixue
3 Martens, Wim
3 Mauá, Denis Deratani
3 Muchnik, Ilya B.
3 Murlak, Filip
3 Niehren, Joachim
3 Paredaens, Jan
3 Paul, Soumya
3 Pichler, Reinhard
3 Raskin, Jean-François
3 Schewe, Klaus-Dieter
3 Severini, Simone
3 Su, Jianwen
3 Taĭtslin, Mikhail Abramovich
3 Tan, Tony
3 Turull Torres, Jose Maria
3 Tyszkiewicz, Jerzy
3 Vandeurzen, Luc
3 Vardi, Moshe Y.
3 Veith, Helmut
3 Verbitsky, Oleg
3 Vincent, Millist W.
3 Zeitoun, Marc
2 Adaricheva, Kira Vladislavovna
2 Amano, Shun’ichi
2 Aminof, Benjamin
2 Atserias, Albert
2 Becerra-Terón, Antonio
2 Berghammer, Rudolf
2 Blumensath, Achim
2 Botoeva, Elena
2 Calvanese, Diego
2 Chapuis, Olivier
2 Chomicki, Jan
2 Colomb, Pierre
...and 517 more Authors
all top 5

Cited in 74 Serials

51 Journal of Computer and System Sciences
41 Theoretical Computer Science
24 Theory of Computing Systems
20 Information and Computation
15 Annals of Mathematics and Artificial Intelligence
13 Discrete Applied Mathematics
13 Information Processing Letters
13 Logical Methods in Computer Science
12 Annals of Pure and Applied Logic
10 Artificial Intelligence
9 ACM Transactions on Computational Logic
8 Discrete Mathematics
7 Acta Informatica
7 Journal of Applied Logic
6 The Journal of Symbolic Logic
5 SIAM Journal on Computing
4 Information Sciences
4 Studia Logica
4 Doklady Mathematics
3 Mathematical Social Sciences
3 Journal of Automated Reasoning
3 International Journal of Approximate Reasoning
3 International Journal of Foundations of Computer Science
3 Formal Methods in System Design
3 Mathematical Logic Quarterly (MLQ)
3 Journal of the ACM
2 Algebra Universalis
2 Fuzzy Sets and Systems
2 Transactions of the American Mathematical Society
2 New Generation Computing
2 Applied Mathematics Letters
2 MSCS. Mathematical Structures in Computer Science
2 Journal of Logic, Language and Information
2 Journal of Applied Non-Classical Logics
2 Journal of Mathematical Sciences (New York)
2 The Journal of Logic and Algebraic Programming
2 Computer Science Review
1 Computers & Mathematics with Applications
1 Advances in Mathematics
1 International Journal of Game Theory
1 Journal of Mathematical Psychology
1 Journal of Philosophical Logic
1 Notre Dame Journal of Formal Logic
1 Topology and its Applications
1 Combinatorica
1 Order
1 Journal of Complexity
1 Algorithmica
1 Discrete & Computational Geometry
1 International Journal of Intelligent Systems
1 Formal Aspects of Computing
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Computer Mathematics
1 Linear Algebra and its Applications
1 Expositiones Mathematicae
1 Distributed Computing
1 RAIRO. Informatique Théorique et Applications
1 Applicable Algebra in Engineering, Communication and Computing
1 Constraints
1 Journal of Combinatorial Optimization
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Mathematical Logic
1 Lobachevskii Journal of Mathematics
1 Journal of the Australian Mathematical Society
1 Theory and Practice of Logic Programming
1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
1 Algebra and Discrete Mathematics
1 Proceedings of the Steklov Institute of Mathematics
1 Advances in Data Analysis and Classification. ADAC
1 Algorithms
1 Frontiers of Computer Science
1 ACM Transactions on Computation Theory
1 Journal of Logical and Algebraic Methods in Programming

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.