scientific article; zbMATH DE number 1088219
From MaRDI portal
Publication:4364535
zbMath0884.68013MaRDI QIDQ4364535
Publication date: 17 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) General topics in the theory of software (68N01)
Related Items (6)
Dynamic state restoration using versioning exceptions ⋮ Unnamed Item ⋮ On modelling mobility ⋮ Ordering constraints over feature trees expressed in second-order monadic logic. ⋮ A timed concurrent constraint language. ⋮ Dominance constraints with Boolean connectives: A model-eliminative treatment
Uses Software
This page was built for publication:
