Search the dblp DataBase
William F. Dowling :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
William F. Dowling , Jean H. Gallier Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. [Citation Graph (7, 0)][DBLP ] J. Log. Program., 1984, v:1, n:3, pp:267-284 [Journal ] William F. Dowling Attribute grammar interpretation as a model of computation (abstract). [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1986, pp:466- [Conf ] Kevin Atteson , Michael Lorenz , William F. Dowling NARPL: A solution to the student compiler project problem. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1989, v:24, n:3, pp:57-66 [Journal ] William F. Dowling , Jean H. Gallier Continuation Semantics for Flowgraph Equations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1986, v:44, n:, pp:307-331 [Journal ] William F. Dowling , Robert Kline The Fixed Points of Logic Programs with Herbrand Base N. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:77, n:3, pp:309-319 [Journal ] Search in 0.001secs, Finished in 0.001secs