Hannula, Miika; Li, Xinyi; Link, Sebastian Controlling entity integrity with key sets. (English) Zbl 07695016 J. Comput. Syst. Sci. 136, 195-219 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{M. Hannula} et al., J. Comput. Syst. Sci. 136, 195--219 (2023; Zbl 07695016) Full Text: DOI arXiv
Eiben, Eduard; Ganian, Robert; Ordyniak, Sebastian Using decomposition-parameters for QBF: mind the prefix! (English) Zbl 1435.68123 J. Comput. Syst. Sci. 110, 1-21 (2020). MSC: 68Q27 68R07 68T20 PDFBibTeX XMLCite \textit{E. Eiben} et al., J. Comput. Syst. Sci. 110, 1--21 (2020; Zbl 1435.68123) Full Text: DOI Link
Jacquemard, Florent; Rusinowitch, Michael One-variable context-free hedge automata. (English) Zbl 1423.68256 J. Comput. Syst. Sci. 104, 278-296 (2019). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{F. Jacquemard} and \textit{M. Rusinowitch}, J. Comput. Syst. Sci. 104, 278--296 (2019; Zbl 1423.68256) Full Text: DOI HAL
Boichut, Yohan; Chabin, Jacques; Réty, Pierre Towards more precise rewriting approximations. (English) Zbl 1425.68154 J. Comput. Syst. Sci. 104, 131-148 (2019). MSC: 68Q42 68N17 68Q45 PDFBibTeX XMLCite \textit{Y. Boichut} et al., J. Comput. Syst. Sci. 104, 131--148 (2019; Zbl 1425.68154) Full Text: DOI
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors. (English) Zbl 1393.68088 J. Comput. Syst. Sci. 96, 74-106 (2018). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Lucas} et al., J. Comput. Syst. Sci. 96, 74--106 (2018; Zbl 1393.68088) Full Text: DOI
Koehler, Henning; Link, Sebastian Inclusion dependencies and their interaction with functional dependencies in SQL. (English) Zbl 1359.68058 J. Comput. Syst. Sci. 85, 104-131 (2017). MSC: 68P15 68Q17 PDFBibTeX XMLCite \textit{H. Koehler} and \textit{S. Link}, J. Comput. Syst. Sci. 85, 104--131 (2017; Zbl 1359.68058) Full Text: DOI
Gaspers, Serge; Misra, Neeldhara; Ordyniak, Sebastian; Szeider, Stefan; Živný, Stanislav Backdoors into heterogeneous classes of SAT and CSP. (English) Zbl 1356.68097 J. Comput. Syst. Sci. 85, 38-56 (2017). MSC: 68Q25 PDFBibTeX XMLCite \textit{S. Gaspers} et al., J. Comput. Syst. Sci. 85, 38--56 (2017; Zbl 1356.68097) Full Text: DOI arXiv
Carapelle, Claudia; Kartzow, Alexander; Lohrey, Markus Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints. (English) Zbl 1358.03032 J. Comput. Syst. Sci. 82, No. 5, 826-855 (2016). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B44 03B70 03B15 68Q60 03B25 PDFBibTeX XMLCite \textit{C. Carapelle} et al., J. Comput. Syst. Sci. 82, No. 5, 826--855 (2016; Zbl 1358.03032) Full Text: DOI
Fletcher, George H. L.; Gyssens, Marc; Paredaens, Jan; Van Gucht, Dirk; Wu, Yuqing Structural characterizations of the navigational expressiveness of relation algebras on a tree. (English) Zbl 1346.68080 J. Comput. Syst. Sci. 82, No. 2, 229-259 (2016). MSC: 68P15 03G15 PDFBibTeX XMLCite \textit{G. H. L. Fletcher} et al., J. Comput. Syst. Sci. 82, No. 2, 229--259 (2016; Zbl 1346.68080) Full Text: DOI arXiv
Mann, Zoltán Ádám; Szajkó, Anikó Average-case complexity of backtrack search for coloring sparse random graphs. (English) Zbl 1410.68173 J. Comput. Syst. Sci. 79, No. 8, 1287-1301 (2013). MSC: 68Q25 05C15 05C80 05C85 PDFBibTeX XMLCite \textit{Z. Á. Mann} and \textit{A. Szajkó}, J. Comput. Syst. Sci. 79, No. 8, 1287--1301 (2013; Zbl 1410.68173) Full Text: DOI
Meier, Michael; Schmidt, Michael; Wei, Fang; Lausen, Georg Semantic query optimization in the presence of types. (English) Zbl 1408.68049 J. Comput. Syst. Sci. 79, No. 6, 937-957 (2013). MSC: 68P15 PDFBibTeX XMLCite \textit{M. Meier} et al., J. Comput. Syst. Sci. 79, No. 6, 937--957 (2013; Zbl 1408.68049) Full Text: DOI
Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Calvanese, Diego Capturing model-based ontology evolution at the instance level: the case of DL-Lite. (English) Zbl 1307.68078 J. Comput. Syst. Sci. 79, No. 6, 835-872 (2013). Reviewer: Udo Hahn (Jena) MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{E. Kharlamov} et al., J. Comput. Syst. Sci. 79, No. 6, 835--872 (2013; Zbl 1307.68078) Full Text: DOI
Eiter, Thomas; Ortiz, Magdalena; Šimkus, Mantas Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots. (English) Zbl 1238.68153 J. Comput. Syst. Sci. 78, No. 1, 47-85 (2012). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Comput. Syst. Sci. 78, No. 1, 47--85 (2012; Zbl 1238.68153) Full Text: DOI
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo View-based query answering in description logics: semantics and complexity. (English) Zbl 1280.68250 J. Comput. Syst. Sci. 78, No. 1, 26-46 (2012). MSC: 68T30 68T27 68P20 PDFBibTeX XMLCite \textit{D. Calvanese} et al., J. Comput. Syst. Sci. 78, No. 1, 26--46 (2012; Zbl 1280.68250) Full Text: DOI
Fisteus, Jesus Arias; Fernández García, Norberto; Sánchez Fernández, Luis; Delgado Kloos, Carlos Hashing and canonicalizing Notation 3 graphs. (English) Zbl 1197.68022 J. Comput. Syst. Sci. 76, No. 7, 663-685 (2010). MSC: 68M11 68R10 68W05 PDFBibTeX XMLCite \textit{J. A. Fisteus} et al., J. Comput. Syst. Sci. 76, No. 7, 663--685 (2010; Zbl 1197.68022) Full Text: DOI
Ćirić, Miroslav; Stamenković, Aleksandar; Ignjatović, Jelena; Petković, Tatjana Fuzzy relation equations and reduction of fuzzy automata. (English) Zbl 1197.68051 J. Comput. Syst. Sci. 76, No. 7, 609-633 (2010). MSC: 68Q45 03E72 PDFBibTeX XMLCite \textit{M. Ćirić} et al., J. Comput. Syst. Sci. 76, No. 7, 609--633 (2010; Zbl 1197.68051) Full Text: DOI
Achlioptas, Dimitris; Beame, Paul; Molloy, Michael A sharp threshold in proof complexity yields lower bounds for satisfiability search. (English) Zbl 1093.03033 J. Comput. Syst. Sci. 68, No. 2, 238-268 (2004). MSC: 03F20 68Q25 PDFBibTeX XMLCite \textit{D. Achlioptas} et al., J. Comput. Syst. Sci. 68, No. 2, 238--268 (2004; Zbl 1093.03033) Full Text: DOI Link
Saccà, Domenico The expressive powers of stable models for bound and unbound DATALOG queries. (English) Zbl 0882.68088 J. Comput. Syst. Sci. 54, No. 3, 441-464 (1997). MSC: 68Q55 PDFBibTeX XMLCite \textit{D. Saccà}, J. Comput. Syst. Sci. 54, No. 3, 441--464 (1997; Zbl 0882.68088) Full Text: DOI
You, Jia-Huai; Yuan, Li Yan A three-valued semantics for deductive databases and logic programs. (English) Zbl 0821.68080 J. Comput. Syst. Sci. 49, No. 2, 334-361 (1994). MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{J.-H. You} and \textit{L. Y. Yuan}, J. Comput. Syst. Sci. 49, No. 2, 334--361 (1994; Zbl 0821.68080) Full Text: DOI
Cadoli, Marco; Lenzerini, Maurizio The complexity of propositional closed world reasoning and circumscription. (English) Zbl 0806.68096 J. Comput. Syst. Sci. 48, No. 2, 255-310 (1994). MSC: 68T15 68Q25 PDFBibTeX XMLCite \textit{M. Cadoli} and \textit{M. Lenzerini}, J. Comput. Syst. Sci. 48, No. 2, 255--310 (1994; Zbl 0806.68096) Full Text: DOI
Kifer, Michael; Wu, James A logic for programming with complex objects. (English) Zbl 0785.68023 J. Comput. Syst. Sci. 47, No. 1, 77-120 (1993). Reviewer: J.Šefránek (Bratislava) MSC: 68P15 68T99 68T27 68N17 PDFBibTeX XMLCite \textit{M. Kifer} and \textit{J. Wu}, J. Comput. Syst. Sci. 47, No. 1, 77--120 (1993; Zbl 0785.68023) Full Text: DOI
You, Jia-Huai Unification modulo an equality theory for equational logic programming. (English) Zbl 0718.68021 J. Comput. Syst. Sci. 42, No. 1, 54-75 (1991). Reviewer: P.van Emde Boas (Amsterdam) MSC: 68N17 68Q42 03C05 03B70 PDFBibTeX XMLCite \textit{J.-H. You}, J. Comput. Syst. Sci. 42, No. 1, 54--75 (1991; Zbl 0718.68021) Full Text: DOI