Lin, Fangzhen

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Lin, Fangzhen
 

Contributing Publications Mitbeteiligte Publikationen

Filter:
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 ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment SolutionsKonferenzbeitrag Inproceedings 2009
2Puehrer, Joerg ; Tompits, Hans Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with ProjectionKonferenzbeitrag Inproceedings 2009
3De Bruijn, Jos ; Eiter, Thomas ; Polleres, Axel Florian ; Tompits, Hans On Representational Issues about Combinations of Classical Theories with Nonmonotonic RulesKonferenzbeitrag Inproceedings2006