scientific article
From MaRDI portal
Publication:3026312
zbMath0624.68008MaRDI QIDQ3026312
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
term-rewriting systemstemporal logicimplementationreal-time controloperating systemspure functional programs