scientific article; zbMATH DE number 7020130
From MaRDI portal
Publication:4621131
zbMath1424.68098MaRDI QIDQ4621131
Jan A. Bergstra, Mark B. van der Zwaag, Alban Ponse
Publication date: 8 February 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Actuarial science and mathematical finance (91G99)
Related Items
Transformation of fractions into simple fractions in divisive meadows ⋮ Inversive meadows and divisive meadows ⋮ Division by zero in non-involutive meadows ⋮ Equations for formally real meadows