scientific article; zbMATH DE number 935187

zbMath0856.68095MaRDI QIDQ4895544

Hanne Riis Nielson, Flemming Nielson

Publication date: 14 October 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticspattern matching

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

Distributed call-tracking for security ⋮ Termination analysis for partial functions

This page was built for publication: