Daniel J. Lehmann

Publication Activity (10 Years)

Years Active: 1976-2001
Publications (10 Years): 0

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Daniel J. Lehmann
Classes of service under perfect competition and technological change: A model for the dynamics of the internet? EC (2001)
Daniel J. Lehmann
Stereotypical Reasoning: Logical Properties. Log. J. IGPL 6 (1) (1998)
Daniel J. Lehmann
On Primality Tests. SIAM J. Comput. 11 (2) (1982)
Daniel J. Lehmann
On the Algebra of Order. J. Comput. Syst. Sci. 21 (1) (1980)
Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever
Semantics of Nondeterminism, Concurrency, and Communication. J. Comput. Syst. Sci. 19 (3) (1979)
Daniel J. Lehmann
On the Algebra of Order (Extended Abstract) FOCS (1978)
Daniel J. Lehmann
A Note on Schnorr's Separatedness. Theor. Comput. Sci. 4 (2) (1977)
Daniel J. Lehmann
Algebraic Structures for Transitive Closure. Theor. Comput. Sci. 4 (1) (1977)
Daniel J. Lehmann
Categories for Fixpoint-Semantics FOCS (1976)