2 citations found. Retrieving documents...
T. Eiter and G. Gottlob. Hypergraph transversal computation and related problems in logic and AI. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, JELIA, volume 2424 of LNCS, pages 549--564. Springer, 2002.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Abduction and the Dualization Problem - Eiter, Makino (2003)   Self-citation (Eiter)   (Correct)

No context found.

T. Eiter and G. Gottlob. Hypergraph transversal computation and related problems in logic and AI. In Proc. 8th European Conference on Logics in Artificial Intelligence (JELIA 2002), LNCS 2424, pp. 549--564. Springer, 2002.


Model-Based Runtime Analysis of Distributed Reactive Systems - Bauer, Leucker, Schallhart   (Correct)

No context found.

T. Eiter and G. Gottlob. Hypergraph transversal computation and related problems in logic and AI. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, JELIA, volume 2424 of LNCS, pages 549--564. Springer, 2002.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC