×

Found 12 Documents (Results 1–12)

Algorithmic correspondence and analytic rules. (English) Zbl 1531.03089

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 371-389 (2022).
MSC:  03F03 03F05 03B45
PDFBibTeX XMLCite
Full Text: arXiv

On iterated dominance, matrix elimination, and matched paths. (English) Zbl 1230.68086

Marion, Jean-Yves (ed.) et al., STACS 2010. 27th international symposium on theoretical aspects of computer science, Nancy, France, March 4–6, 2010. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-16-3). LIPIcs – Leibniz International Proceedings in Informatics 5, 107-118, electronic only (2010).
MSC:  68Q17 91A06 91A10
PDFBibTeX XMLCite
Full Text: DOI Link

Chordal digraphs. (English) Zbl 1273.05089

Paul, Christophe (ed.) et al., Graph-theoretic concepts in computer science. 35th international workshop, WG 2009, Montpellier, France, June 24–26, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-11408-3/pbk). Lecture Notes in Computer Science 5911, 273-284 (2010).
MSC:  05C20 05C85
PDFBibTeX XMLCite
Full Text: DOI

A course in mathematical logic for mathematicians. Chapters I–VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. (English) Zbl 1180.03002

Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010).
PDFBibTeX XMLCite
Full Text: DOI

Computational real algebraic geometry. (English) Zbl 0940.68184

Goodman, Jacob E. (ed.) et al., Handbook of discrete and computational geometry. Boca Raton, FL: CRC Press. CRC Press Series on Discrete Mathematics and its Applications. 537-556 (1997).
MSC:  68W30 14P10 14Q99 68T15 03B25 03D80 03B35
PDFBibTeX XMLCite

Lines in space — a collection of results. (English) Zbl 0744.52008

Discrete and computational geometry, Proc. DIMACS Spec. Year Workshops 1989-90, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 6, 77-93 (1991).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software