scientific article; zbMATH DE number 3541917
From MaRDI portal
Publication:4117362
zbMath0347.68015MaRDI QIDQ4117362
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Rewriting semantics of production rule sets, Linking Event-B and Concurrent Object-Oriented Programs, Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers
