dblp.uni-trier.dewww.uni-trier.de

William F. Dowling Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
4EEKevin Atteson, Michael Lorenz, William F. Dowling: NARPL: A solution to the student compiler project problem. SIGPLAN Notices 24(3): 57-66 (1989)
1986
3EEWilliam 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

1Kevin Atteson [4]
2Jean H. Gallier [1] [2]
3Robert Kline [5]
4Michael Lorenz [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)