Result: Static termination analysis for Prolog using term rewriting and SAT solving

*Title*:

*Author/editor-in-chief*:

Schneider-Kamp, Peter

*Publication*:

Aachen : RWTH Aachen, 2008

*Distribution*:

Hannover : Technische Informationsbibliothek (TIB)

*Physical description scale*:

Online-Ressource (184 S., 1,30 MB) : graph. Darst.

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Aachener Informatik-Berichte ; 2008,17

*Notes*:

Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden. - Auch als gedr. Ausg. vorhanden

*Subject Added Keywords*:

*Result*: Static termination analysis for Prolog using term rewriting and SAT solving