- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
II, 197 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 194 - 197
- Ereignis
-
Veröffentlichung
- (wo)
-
Hamburg
- (wer)
-
Fachbereich Informatik, Univ.
- (wann)
-
1980
- Urheber
-
Boley, Harold
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:16 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Boley, Harold
- Fachbereich Informatik, Univ.
Entstanden
- 1980
Ähnliche Objekte (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