scientific article
From MaRDI portal
Publication:2843603
zbMath1270.68054MaRDI QIDQ2843603
Frank Huch, Elvira Albert, Germán Vidal, Michael Hanus, Javier Oliver
Publication date: 23 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)
This page was built for publication:
