×

Found 13 Documents (Results 1–13)

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

Trigonometries on an exact pseudoplane. (Russian) Zbl 0755.03019

Model theory, Proc. Sov.-Fr. Colloq., Karaganda/USSR 1990, 185-201 (1990).
MSC:  03C45 03C15 05C20
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software