Applying Visible Strong Equivalence in Answer-Set Program Transformations

Jori Bomanson, Tomi Janhunen, Ilkka Niemelä

Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

7 Sitaatiot (Scopus)
22 Lataukset (Pure)

Sormenjälki

Sukella tutkimusaiheisiin 'Applying Visible Strong Equivalence in Answer-Set Program Transformations'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science

Keyphrases