- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
II, 197 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturverz. S. 194 - 197
- Event
-
Veröffentlichung
- (where)
-
Hamburg
- (who)
-
Fachbereich Informatik, Univ.
- (when)
-
1980
- Creator
-
Boley, Harold
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:16 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Boley, Harold
- Fachbereich Informatik, Univ.
Time of origin
- 1980
Other Objects (12)
A logic for recursive programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
A calculational approach to recursive programs with effects
Proving termination of probabilistic recursive programs via SMT-solving
Goal-directed forward chaining for logic programs
Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning
Recursive Functions
Processing of recursive rules in knowledge-based systems : algorithms for handling recursive rules and negative information and performance measurements
Independent recursive axiomatization
Recursive spatial multiplexing
Good Recursive Towers
A logic for recursive programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
A calculational approach to recursive programs with effects
Proving termination of probabilistic recursive programs via SMT-solving
Goal-directed forward chaining for logic programs
Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning
Recursive Functions
Processing of recursive rules in knowledge-based systems : algorithms for handling recursive rules and negative information and performance measurements
Independent recursive axiomatization
Recursive spatial multiplexing
Good Recursive Towers
A logic for recursive programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
A calculational approach to recursive programs with effects
Proving termination of probabilistic recursive programs via SMT-solving
Goal-directed forward chaining for logic programs
Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning
Recursive Functions
Processing of recursive rules in knowledge-based systems : algorithms for handling recursive rules and negative information and performance measurements
Independent recursive axiomatization
Recursive spatial multiplexing