Corander, Jukka; Hyttinen, Antti; Kontinen, Juha; Pensar, Johan; Väänänen, Jouko A logical approach to context-specific independence. (English) Zbl 1477.03068 Ann. Pure Appl. Logic 170, No. 9, 975-992 (2019). MSC: 03B48 03B60 05C20 68Q17 PDFBibTeX XMLCite \textit{J. Corander} et al., Ann. Pure Appl. Logic 170, No. 9, 975--992 (2019; Zbl 1477.03068) Full Text: DOI Link
Alcantud, José Carlos R.; Campión, María J.; Candeal, Juan C.; Catalán, Raquel G.; Induráin, Esteban On the structure of acyclic binary relations. (English) Zbl 1528.03202 Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 855, 3-15 (2018). MSC: 03E20 06A06 54F05 39B52 39B22 05C20 05C38 05C62 91B16 PDFBibTeX XMLCite \textit{J. C. R. Alcantud} et al., Commun. Comput. Inf. Sci. 855, 3--15 (2018; Zbl 1528.03202) Full Text: DOI
Gittenberger, Bernhard; Larcher, Isabella On the number of variables in special classes of random lambda-terms. (English) Zbl 1486.03031 Fill, James Allen (ed.) et al., 29th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, AofA 2018, June 25–29, 2018, Uppsala, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 110, Article 25, 14 p. (2018). MSC: 03B40 05C20 05C90 PDFBibTeX XMLCite \textit{B. Gittenberger} and \textit{I. Larcher}, LIPIcs -- Leibniz Int. Proc. Inform. 110, Article 25, 14 p. (2018; Zbl 1486.03031) Full Text: DOI
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. On sets and graphs. Perspectives on logic and combinatorics. (English) Zbl 1382.05002 Cham: Springer (ISBN 978-3-319-54980-4/hbk; 978-3-319-54981-1/ebook). xix, 275 p. (2017). Reviewer: Ayesha Shabbir (Gurjat) MSC: 05-02 03-02 03E05 03E75 05C05 05C38 05C40 05C45 05C63 05C65 05C90 68R10 68Q17 68Q25 PDFBibTeX XMLCite \textit{E. G. Omodeo} et al., On sets and graphs. Perspectives on logic and combinatorics. Cham: Springer (2017; Zbl 1382.05002) Full Text: DOI
Kong, Zhaodan; Jones, Austin; Medina Ayala, Ana; Aydin Gol, Ebru; Belta, Calin Temporal logic inference for classification and prediction from data. (English) Zbl 1362.68266 Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 273-282 (2014). MSC: 68T27 03B44 68T05 68T37 PDFBibTeX XMLCite \textit{Z. Kong} et al., in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 273--282 (2014; Zbl 1362.68266) Full Text: DOI
Buss, Samuel R.; Hoffmann, Jan The NP-hardness of finding a directed acyclic graph for regular resolution. (English) Zbl 1145.03034 Theor. Comput. Sci. 396, No. 1-3, 271-276 (2008). MSC: 03F20 68Q17 PDFBibTeX XMLCite \textit{S. R. Buss} and \textit{J. Hoffmann}, Theor. Comput. Sci. 396, No. 1--3, 271--276 (2008; Zbl 1145.03034) Full Text: DOI
Faggian, Claudia; Piccolo, Mauro A graph abstract machine describing event structure composition. (English) Zbl 1278.68092 Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 4, 21-36 (2007). MSC: 68Q05 03F52 05C20 68Q55 68Q85 PDFBibTeX XMLCite \textit{C. Faggian} and \textit{M. Piccolo}, Electron. Notes Theor. Comput. Sci. 175, No. 4, 21--36 (2007; Zbl 1278.68092) Full Text: DOI
Finger, Marcelo DAG sequent proofs with a substitution rule. (English) Zbl 1279.03079 Artemov, Sergei (ed.) et al., We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. London: College Publications (ISBN 1-904987-11-7/pbk; 1-904987-25-7/hbk). Tributes 1, 671-686 (2005). MSC: 03F07 03B05 PDFBibTeX XMLCite \textit{M. Finger}, Tributes 1, 671--686 (2005; Zbl 1279.03079)
Courcelle, Bruno The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs. (English) Zbl 0938.03015 Theor. Comput. Sci. 224, No. 1-2, 35-58 (1999). Reviewer: M.Steinby (Turku) MSC: 03B15 03C85 05C40 PDFBibTeX XMLCite \textit{B. Courcelle}, Theor. Comput. Sci. 224, No. 1--2, 35--58 (1999; Zbl 0938.03015) Full Text: DOI
Eiter, Thomas; Gottlob, Georg The complexity class \(\varTheta^\mathrm{p}_2\): recent results and applications in AI and modal logic. (English) Zbl 1507.68121 Chlebus, Bogdan S. (ed.) et al., Fundamentals of computation theory. 11th international symposium, FCT ’97, Jagiellonian Univ., Kraków, Poland, September 1–3, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1279, 1-18 (1997). MSC: 68Q15 03B45 68N17 68Q19 68T27 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{G. Gottlob}, Lect. Notes Comput. Sci. 1279, 1--18 (1997; Zbl 1507.68121) Full Text: DOI
Potthoff, Andreas; Seibert, Sebastian; Thomas, Wolfgang Nondeterminism versus determinism of finite automata over directed acyclic graphs. (English) Zbl 0803.68032 Bull. Belg. Math. Soc. - Simon Stevin 1, No. 2, 285-298 (1994). MSC: 68Q10 68Q45 68R10 03D05 PDFBibTeX XMLCite \textit{A. Potthoff} et al., Bull. Belg. Math. Soc. - Simon Stevin 1, No. 2, 285--298 (1994; Zbl 0803.68032) Full Text: EuDML
Sudoplatov, S. V. Trigonometries on an exact pseudoplane. (Russian) Zbl 0755.03019 Model theory, Proc. Sov.-Fr. Colloq., Karaganda/USSR 1990, 185-201 (1990). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C45 03C15 05C20 PDFBibTeX XMLCite \textit{S. V. Sudoplatov}, in: Les travaux scientifiques du colloque Sovieto-Francąis sur la théorie des modeles, Karaganda (USSR), 1990. Trudy sovetsko- francuzskogo kollokviuma po teorii modelej, Karaganda (SSSR), 1990. Karaganda: Karagandinskij Gosudarstvennyj Universitet. 185--201 (1990; Zbl 0755.03019)
Cantone, Domenico; Ghelfo, Susanna; Omodeo, Eugenio The automation of syllogistic. I: Syllogistic normal forms. (English) Zbl 0658.03010 J. Symb. Comput. 6, No. 1, 83-98 (1988). Reviewer: L.State MSC: 03B35 03B30 PDFBibTeX XMLCite \textit{D. Cantone} et al., J. Symb. Comput. 6, No. 1, 83--98 (1988; Zbl 0658.03010) Full Text: DOI