William F. Dowling

List of publications from the DBLP Bibliography Server - FAQ

1990

5 William F. Dowling, Robert Kline: The Fixed Points of Logic Programs with Herbrand Base N. Theor. Comput. Sci. 77(3): 309-319 (1990)

1989

4 EE Kevin Atteson, Michael Lorenz, William F. Dowling: NARPL: A solution to the student compiler project problem. SIGPLAN Notices 24(3): 57-66 (1989)

1986

3 EE William F. Dowling: Attribute grammar interpretation as a model of computation (abstract). ACM Conference on Computer Science 1986: 466

2 William F. Dowling, Jean H. Gallier: Continuation Semantics for Flowgraph Equations. Theor. Comput. Sci. 44: 307-331 (1986)

1984

1 William F. Dowling, Jean H. Gallier: Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. J. Log. Program. 1(3): 267-284 (1984)

1990
5		William F. Dowling, Robert Kline: The Fixed Points of Logic Programs with Herbrand Base N. Theor. Comput. Sci. 77(3): 309-319 (1990)
1989
4	EE	Kevin Atteson, Michael Lorenz, William F. Dowling: NARPL: A solution to the student compiler project problem. SIGPLAN Notices 24(3): 57-66 (1989)
1986
3	EE	William F. Dowling: Attribute grammar interpretation as a model of computation (abstract). ACM Conference on Computer Science 1986: 466
2		William F. Dowling, Jean H. Gallier: Continuation Semantics for Flowgraph Equations. Theor. Comput. Sci. 44: 307-331 (1986)
1984
1		William F. Dowling, Jean H. Gallier: Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. J. Log. Program. 1(3): 267-284 (1984)

Coauthor Index