×

Found 86 Documents (Results 1–86)

Étale groupoids and Steinberg algebras a concise introduction. (English) Zbl 1443.22005

Ambily, A. A. (ed.) et al., Leavitt path algebras and classical \(K\)-theory. Based on the international workshop on Leavitt path algebras and \(K\)-theory, Kerala, India, July 1–3, 2017. Singapore: Springer. Indian Stat. Inst. Ser., 73-101 (2020).
MSC:  22A22 18B40 16D25

Type theory and homotopy. (English) Zbl 1314.03013

Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 183-201 (2012).
MSC:  03B15 03F35 55P99

Local symmetry and compositional verification. (English) Zbl 1326.68103

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 348-362 (2012).
MSC:  68N30 68Q60 68Q85
Full Text: DOI

Groupoids and conditional symmetry. (English) Zbl 1145.68514

Bessière, Christian (ed.), Principles and practice of constraint programming – CP 2007. 13th international conference, CP 2007, Providence, RI, USA, September 23–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74969-1/pbk). Lecture Notes in Computer Science 4741, 823-830 (2007).
MSC:  68T20 20L05
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software