Zur Komplexität von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulärer Resolution beruhen.
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | tysk |
| Udgivet: |
Zürich
1981
|
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Order eBook: |
|
| Order Book: | Login to order |
Lignende værker: Zur Komplexität von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulärer Resolution beruhen.
- Auf welchen Grundsätzen beruhen die verschiedenen Nationalbeschläge?
- Komplexität von Sortierproblemen und Anwendungen der Kolmogoroff-Komplexität.
- Reguläre Inzidenzkomplexe
- Komplexität und Zufälligkeit
- Über den Pohlke'schen Satz
- Berechenbarkeit, Komplexität, Logik. Eine Einf. in Algorithmen, Sprachen u. Kalküle unter bes. Berücks. ihrer Komplexität