Angel, Eric; Nguyen Kim, Thang; Singh, Shikha Approximating \(k\)-forest with resource augmentation: a primal-dual approach. (English) Zbl 1423.68586 Theor. Comput. Sci. 788, 12-20 (2019). MSC: 68W25 90C10 90C35 PDFBibTeX XMLCite \textit{E. Angel} et al., Theor. Comput. Sci. 788, 12--20 (2019; Zbl 1423.68586) Full Text: DOI arXiv
Howe, Jacob M.; King, Andy; Simon, Axel Incremental closure for systems of two variables per inequality. (English) Zbl 1417.68103 Theor. Comput. Sci. 768, 1-42 (2019). MSC: 68Q60 68N30 68Q55 68W40 90C05 PDFBibTeX XMLCite \textit{J. M. Howe} et al., Theor. Comput. Sci. 768, 1--42 (2019; Zbl 1417.68103) Full Text: DOI
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. A complete refinement procedure for regular separability of context-free languages. (English) Zbl 1338.68147 Theor. Comput. Sci. 625, 1-24 (2016). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Gange} et al., Theor. Comput. Sci. 625, 1--24 (2016; Zbl 1338.68147) Full Text: DOI arXiv
Howe, Jacob M.; King, Andy A pearl on SAT and SMT solving in Prolog. (English) Zbl 1248.68455 Theor. Comput. Sci. 435, 43-55 (2012). Reviewer: Alex Nabebin (Moskva) MSC: 68T20 68N17 PDFBibTeX XMLCite \textit{J. M. Howe} and \textit{A. King}, Theor. Comput. Sci. 435, 43--55 (2012; Zbl 1248.68455) Full Text: DOI
Maher, Michael J. Local consistency for extended CSPs. (English) Zbl 1187.68556 Theor. Comput. Sci. 410, No. 46, 4769-4783 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{M. J. Maher}, Theor. Comput. Sci. 410, No. 46, 4769--4783 (2009; Zbl 1187.68556) Full Text: DOI
Bossi, Annalisa S-semantics for logic programming: a retrospective look. (English) Zbl 1187.68122 Theor. Comput. Sci. 410, No. 46, 4692-4703 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Bossi}, Theor. Comput. Sci. 410, No. 46, 4692--4703 (2009; Zbl 1187.68122) Full Text: DOI
Amato, Gianluca; Lipton, James; McGrail, Robert On the algebraic structure of declarative programming languages. (English) Zbl 1187.68121 Theor. Comput. Sci. 410, No. 46, 4626-4671 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Amato} et al., Theor. Comput. Sci. 410, No. 46, 4626--4671 (2009; Zbl 1187.68121) Full Text: DOI
Shen, Yi-Dong; You, Jia-Huai; Yuan, Li-Yan Enhancing global SLS-resolution with loop cutting and tabling mechanisms. (English) Zbl 1071.68019 Theor. Comput. Sci. 328, No. 3, 271-287 (2004). MSC: 68N17 PDFBibTeX XMLCite \textit{Y.-D. Shen} et al., Theor. Comput. Sci. 328, No. 3, 271--287 (2004; Zbl 1071.68019) Full Text: DOI
Peltier, Nicolas The first order theory of primal grammars is decidable. (English) Zbl 1078.68066 Theor. Comput. Sci. 323, No. 1-3, 267-320 (2004). MSC: 68Q42 03B25 03C10 PDFBibTeX XMLCite \textit{N. Peltier}, Theor. Comput. Sci. 323, No. 1--3, 267--320 (2004; Zbl 1078.68066) Full Text: DOI
Finkelstein, Stacy E.; Freyd, Peter; Lipton, James A new framework for declarative programming. (English) Zbl 1028.68023 Theor. Comput. Sci. 300, No. 1-3, 91-160 (2003); erratum ibid. 311, 527 (2004). MSC: 68N19 PDFBibTeX XMLCite \textit{S. E. Finkelstein} et al., Theor. Comput. Sci. 300, No. 1--3, 91--160 (2004; Zbl 1028.68023) Full Text: DOI
Arenas, Marcelo; Bertossi, Leopoldo; Chomicki, Jan; He, Xin; Raghavan, Vijay; Spinrad, Jeremy Scalar aggregation in inconsistent databases. (English) Zbl 1045.68049 Theor. Comput. Sci. 296, No. 3, 405-434 (2003). MSC: 68P15 PDFBibTeX XMLCite \textit{M. Arenas} et al., Theor. Comput. Sci. 296, No. 3, 405--434 (2003; Zbl 1045.68049) Full Text: DOI
Schachte, Peter Precise goal-independent abstract interpretation of constraint logic programs. (English) Zbl 1046.68037 Theor. Comput. Sci. 293, No. 3, 557-577 (2003). Reviewer: Luigi Palopoli (Rende) MSC: 68N17 PDFBibTeX XMLCite \textit{P. Schachte}, Theor. Comput. Sci. 293, No. 3, 557--577 (2003; Zbl 1046.68037) Full Text: DOI
Pichler, Reinhard Explicit versus implicit representations of subsets of the Herbrand universe. (English) Zbl 1051.68061 Theor. Comput. Sci. 290, No. 1, 1021-1056 (2003). MSC: 68Q01 PDFBibTeX XMLCite \textit{R. Pichler}, Theor. Comput. Sci. 290, No. 1, 1021--1056 (2003; Zbl 1051.68061) Full Text: DOI
Sagonas, K.; Swift, T.; Warren, D. S. The limits of fixed-order computation. (English) Zbl 0974.68111 Theor. Comput. Sci. 254, No. 1-2, 465-499 (2001). MSC: 68Q55 PDFBibTeX XMLCite \textit{K. Sagonas} et al., Theor. Comput. Sci. 254, No. 1--2, 465--499 (2001; Zbl 0974.68111) Full Text: DOI
Brzoska, Christoph Programming in metric temporal logic. (English) Zbl 0902.68029 Theor. Comput. Sci. 202, No. 1-2, 55-125 (1998). MSC: 68N17 68T15 PDFBibTeX XMLCite \textit{C. Brzoska}, Theor. Comput. Sci. 202, No. 1--2, 55--125 (1998; Zbl 0902.68029) Full Text: DOI
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut Institutions for logic programming. (English) Zbl 0901.68027 Theor. Comput. Sci. 173, No. 2, 485-511 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Orejas} et al., Theor. Comput. Sci. 173, No. 2, 485--511 (1997; Zbl 0901.68027) Full Text: DOI
Doets, Kees Left termination turned into termination. (English) Zbl 0795.68041 Theor. Comput. Sci. 124, No. 1, 181-188 (1994). MSC: 68N17 03D20 PDFBibTeX XMLCite \textit{K. Doets}, Theor. Comput. Sci. 124, No. 1, 181--188 (1994; Zbl 0795.68041) Full Text: DOI Link
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C. A compositional semantics for logic programs. (English) Zbl 0801.68110 Theor. Comput. Sci. 122, No. 1-2, 3-47 (1994). MSC: 68Q55 68N17 68Q60 PDFBibTeX XMLCite \textit{A. Bossi} et al., Theor. Comput. Sci. 122, No. 1--2, 3--47 (1994; Zbl 0801.68110) Full Text: DOI
Kanchanasut, Kanchana; Stuckey, Peter J. Transforming normal logic programs to constraint logic programs. (English) Zbl 0757.68029 Theor. Comput. Sci. 105, No. 1, 27-56 (1992). Reviewer: K.Kanchanasut MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{K. Kanchanasut} and \textit{P. J. Stuckey}, Theor. Comput. Sci. 105, No. 1, 27--56 (1992; Zbl 0757.68029) Full Text: DOI
Weijland, W. P. Semantics for logic programs without occur check. (English) Zbl 0699.68114 Theor. Comput. Sci. 71, No. 1, 155-174 (1990). MSC: 68T15 68Q55 68N01 PDFBibTeX XMLCite \textit{W. P. Weijland}, Theor. Comput. Sci. 71, No. 1, 155--174 (1990; Zbl 0699.68114) Full Text: DOI
Blair, Howard A.; Subrahmanian, V. S. Paraconsistent logic programming. (English) Zbl 0686.68009 Theor. Comput. Sci. 68, No. 2, 135-154 (1989). MSC: 68Q60 68N01 68Q55 68T99 PDFBibTeX XMLCite \textit{H. A. Blair} and \textit{V. S. Subrahmanian}, Theor. Comput. Sci. 68, No. 2, 135--154 (1989; Zbl 0686.68009) Full Text: DOI