Publikationsansicht

Enumeration problems related to ground Horn theories. Available at http://lat.inf. tu-dresden.de/ ∼ harris/enumhorn.pdf (2008)

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.1651
Quelle	http://lat.inf.tu-dresden.de/~harris/enumhorn.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.47.8467, 10.1.1.77.6753, 10.1.1.120.7194