×

Found 3 Documents (Results 1–3)

The directed homotopy hypothesis. (English) Zbl 1369.55013

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 9, 16 p. (2016).
MSC:  55U10 18D20 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Natural homology. (English) Zbl 1448.55010

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 171-183 (2015).
MSC:  55N35 18C50 55N31
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field