Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas Rewriting guarded existential rules into small Datalog programs. (English) Zbl 07229066 Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-063-7). LIPIcs – Leibniz International Proceedings in Informatics 98, Article 4, 24 p. (2018). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Ahmetaj} et al., LIPIcs -- Leibniz Int. Proc. Inform. 98, Article 4, 24 p. (2018; Zbl 07229066) Full Text: DOI
Stiny, George The critic as artist: Oscar Wilde’s prolegomena to shape grammars. (English) Zbl 1365.00019 Nexus Netw. J. 17, No. 3, 723-758 (2015). MSC: 00A66 51N05 00A30 01A60 PDF BibTeX XML Cite \textit{G. Stiny}, Nexus Netw. J. 17, No. 3, 723--758 (2015; Zbl 1365.00019) Full Text: DOI
Dyn, Nira; Hormann, Kai Geometric conditions for tangent continuity of interpolatory planar subdivision curves. (English) Zbl 1256.65015 Comput. Aided Geom. Des. 29, No. 6, 332-347 (2012). Reviewer: Michael M. Pahirya (Mukachevo) MSC: 65D17 51N05 68U07 PDF BibTeX XML Cite \textit{N. Dyn} and \textit{K. Hormann}, Comput. Aided Geom. Des. 29, No. 6, 332--347 (2012; Zbl 1256.65015) Full Text: DOI
Novak, Petra Kralj; Lavrač, Nada; Webb, Geoffrey I. Supervised descriptive rule discovery: a unifying survey of contrast set, emerging pattern and subgroup mining. (English) Zbl 1235.68178 J. Mach. Learn. Res. 10, 377-403 (2009). MSC: 68T05 PDF BibTeX XML Cite \textit{P. K. Novak} et al., J. Mach. Learn. Res. 10, 377--403 (2009; Zbl 1235.68178) Full Text: Link
Landscheid, Ulf Sätze über den Satz. Eine Theorie der Satzbedeutung und ihre Anwendung auf die Logik. (German) Zbl 0896.03022 Studia Philosophica et Historica. 22. Frankfurt am Main: Peter Lang. 211 S. (1997). Reviewer: P.Materna (Praha) MSC: 03B65 03-02 03A05 PDF BibTeX XML Cite \textit{U. Landscheid}, Sätze über den Satz. Eine Theorie der Satzbedeutung und ihre Anwendung auf die Logik. Frankfurt am Main: Peter Lang (1997; Zbl 0896.03022)
Maitra, A.; Purves, R.; Sudderth, W. A Borel measurable version of König’s lemma for random paths. (English) Zbl 0722.60037 Ann. Probab. 19, No. 1, 423-451 (1991). Reviewer: T.Bojdecki (Warszawa) MSC: 60G40 93E20 03E15 PDF BibTeX XML Cite \textit{A. Maitra} et al., Ann. Probab. 19, No. 1, 423--451 (1991; Zbl 0722.60037) Full Text: DOI
Chou, Shang-Ching; Schelter, William F. Proving geometry theorems with rewrite rules. (English) Zbl 0642.68162 J. Autom. Reasoning 2, 253-273 (1986). MSC: 68T15 51-04 68W30 51N99 PDF BibTeX XML Cite \textit{S.-C. Chou} and \textit{W. F. Schelter}, J. Autom. Reasoning 2, 253--273 (1986; Zbl 0642.68162) Full Text: DOI