scientific article; zbMATH DE number 1088219
From MaRDI portal
Publication:4364535
zbMATH Open0884.68013MaRDI QIDQ4364535FDOQ4364535
Authors: Gert Smolka
Publication date: 17 November 1997
Title of this publication is not available (Why is that?)
Recommendations
General topics in the theory of software (68N01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)
Cited In (7)
- On modelling mobility
- Dominance constraints with Boolean connectives: A model-eliminative treatment
- Logic programming in the context of multiparadigm programming: the Oz experience
- Dynamic state restoration using versioning exceptions
- A timed concurrent constraint language.
- Title not available (Why is that?)
- Ordering constraints over feature trees expressed in second-order monadic logic.
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364535)