×

Found 174 Documents (Results 1–100)

Compound logics for modification problems. (English) Zbl 07944099

Etessami, Kousha (ed.) et al., 50th international colloquium on automata, languages, and programming, ICALP 2023, Paderborn, Germany, July 10–14, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 261, Article 61, 21 p. (2023).
MSC:  68Nxx 68Qxx

An algorithmic meta-theorem for graph modification to planarity and FOL. (English) Zbl 07651190

Grandoni, Fabrizio (ed.) et al., 28th annual European symposium on algorithms. ESA 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 173, Article 51, 17 p. (2020).
MSC:  68Wxx

Vertices and inflexions of plane sections of surfaces in \(\mathbb R^3\). (English) Zbl 1128.53006

Brasselet, Jean-Paul (ed.) et al., Real and complex singularities, São Carlos workshop 2004. Papers of the 8th workshop, Marseille, France, July 19–23, 2004. Basel: Birkhäuser (ISBN 3-7643-7775-5/hbk). Trends in Mathematics, 71-97 (2007).

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software