Wolf, Armin

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Wolf, Armin
 

Contributing Publications Mitbeteiligte Publikationen

Filter:
Date Issued:  [2000 TO 2024]
Author:  Tompits, Hans

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

PreviewAuthor(s)TitleTypeIssue Date
1Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccTKonferenzbeitrag Inproceedings 2009
2Gebser, Martin ; Pührer, Jörg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsKonferenzbeitrag Inproceedings 2009
3Oetsch, Johannes ; Schwengerer, Martin ; Tompits, Hans Kato: A Plagiarism-Detection Tool for Answer-Set ProgramsKonferenzbeitrag Inproceedings 2009