×

Found 424 Documents (Results 1–100)

A scheme using the wave structure of second-moment turbulent models for incompressible flows. (English) Zbl 1533.65140

Franck, Emmanuel (ed.) et al., Finite volumes for complex applications X – Volume 2. Hyperbolic and related problems. FVCA10, Strasbourg, France, October 30 – November 3, 2023. Cham: Springer. Springer Proc. Math. Stat. 433, 111-119 (2023).

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 …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference