Manna, Marco

Full name Familienname, Vorname

Manna, Marco

Filter:

Subject: Answer-set programming · Program equivalence · Model-theoretic characterisations

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Geibinger, Tobias ; Tompits, Hans	Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs	Konferenzbeitrag Inproceedings	2019