scientific article; zbMATH DE number 2080203
From MaRDI portal
Publication:4472445
zbMath1044.68664MaRDI QIDQ4472445
Robert Glück, Sergey A. Abramov
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1974/19740201.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Reversible computing from a programming language perspective ⋮ Reverse universal resolving algorithm and inverse driving ⋮ An investigation of Jones optimality and BTI-universal specializers
This page was built for publication:
