Theory and Practice of Logic Programming

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Theory and Practice of Logic Programming
 
Series Schriftenreihe
Theory and Practice of Logic Programming
 

Publications Publikationen

Filter:
Date Issued:  [2000 TO 2024]
Date Issued:  [2010 TO 2019]
Author:  TOMPITS, HANS
Subject:  program analysis

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS Catching the Ouroboros: On debugging non-ground answer-set programsKonferenzbeitrag Inproceedings 2010
2OETSCH, JOHANNES ; PÜHRER, JÖRG ; SCHWENGERER, MARTIN ; TOMPITS, HANS The system Kato: Detecting cases of plagiarism for answer-set programsKonferenzbeitrag Inproceedings 2010