×

Found 559 Documents (Results 1–100)

Normal reduction numbers of normal surface singularities. (English) Zbl 1468.14069

Fernández de Bobadilla, Javier (ed.) et al., Singularities and their interaction with geometry and low dimensional topology. In honor of András Némethi on the occasion of his 60th birthday. Selected papers based on the presentations at the conference “Némethi60: geometry and topology of singularities”, Budapest, Hungary, May 27–31, 2019. Basel: Birkhäuser/Springer. Trends Math., 159-179 (2021).

Uniform inductive reasoning in transitive closure logic via infinite descent. (English) Zbl 1528.03186

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 17, 16 p. (2018).
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field