Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
sav07_lecture_19 [2007/05/22 14:42] vkuncak |
sav07_lecture_19 [2007/05/31 12:14] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Lecture 19 ====== | ====== Lecture 19 ====== | ||
| + | |||
| + | (Presented by Ruzica Piskac.) | ||
| === Push-down automata === | === Push-down automata === | ||
| Line 14: | Line 16: | ||
| Completeness of first-order resolution. | Completeness of first-order resolution. | ||
| + | |||
| + | Slides: | ||
| + | * {{ganzingerbachmairconstructionslides.pdf|Ganzinger-Bachmair Model Construction}} | ||
| + | * {{priorityqueuesslides.pdf|Verifying a checker for priority queues}} | ||