Helmut Veith (veith)

Contributions to Philosophie.ch

Bibliography

Gottlob, Georg, Grädel, Erich and Veith, Helmut. 2000. “Linear Time Datalog and Branching Time Logic.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 443–467. Dordrecht: Kluwer Academic Publishers.