×

zbMATH — the first resource for mathematics

Dougherty, Daniel J.

Compute Distance To:
Author ID: dougherty.daniel-j Recent zbMATH articles by "Dougherty, Daniel J."
Published as: Dougherty, D. J.; Dougherty, Daniel; Dougherty, Daniel J.
Documents Indexed: 21 Publications since 1986

Publications by Year

Citations contained in zbMATH

15 Publications have been cited 48 times in 40 Documents Cited by Year
Adding algebraic rewriting to the untyped lambda calculus. Zbl 0769.68058
Dougherty, Daniel J.
13
1992
Specifying and reasoning about dynamic access-control policies. Zbl 1222.68361
Dougherty, Daniel J.; Fisler, Kathi; Krishnamurthi, Shriram
6
2006
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage. Zbl 1146.68028
Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre
5
2008
Strong normalization of the dual classical sequent calculus. Zbl 1143.03360
Dougherty, Daniel; Ghilezan, Silvia; Lescanne, Pierre; Likavec, Silvia
4
2005
Higher-order unification via combinators. Zbl 0772.68061
Dougherty, Daniel J.
4
1993
Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus. Zbl 1272.03078
Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre
3
2005
Normal forms for binary relations. Zbl 1097.03059
Dougherty, Daniel J.; Gutiérrez, Claudio
2
2006
A combinatory logic approach to higher-order E-unification. Zbl 0874.68271
Dougherty, Daniel J.; Johann, Patricia
2
1995
An improved general \(E\)-unification method. Zbl 0773.68063
Dougherty, Daniel J.; Johann, Patricia
2
1992
Decomposition theorems for measures. Zbl 0635.28004
Shortt, R. M.; Dougherty, D. J.; Ball, R. N.
2
1987
Logic and computation in a lambda calculus with intersection and union types. Zbl 1253.03036
Dougherty, Daniel J.; Liquori, Luigi
1
2010
Addressed term rewriting systems: application to a typed object calculus. Zbl 1122.68069
Dougherty, Daniel J.; Lescanne, Pierre; Liquori, Luigi
1
2006
The complexity of the certification of properties of stable marriage. Zbl 1172.91334
Dougherty, Daniel J.; Selkow, Stanley M.
1
2004
A strong Baire category theorem for products. Zbl 0756.54018
Dougherty, Daniel J.
1
1991
Decomposition of infinite matrices. Zbl 0687.05005
Dougherty, Daniel J.
1
1987
Logic and computation in a lambda calculus with intersection and union types. Zbl 1253.03036
Dougherty, Daniel J.; Liquori, Luigi
1
2010
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage. Zbl 1146.68028
Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre
5
2008
Specifying and reasoning about dynamic access-control policies. Zbl 1222.68361
Dougherty, Daniel J.; Fisler, Kathi; Krishnamurthi, Shriram
6
2006
Normal forms for binary relations. Zbl 1097.03059
Dougherty, Daniel J.; Gutiérrez, Claudio
2
2006
Addressed term rewriting systems: application to a typed object calculus. Zbl 1122.68069
Dougherty, Daniel J.; Lescanne, Pierre; Liquori, Luigi
1
2006
Strong normalization of the dual classical sequent calculus. Zbl 1143.03360
Dougherty, Daniel; Ghilezan, Silvia; Lescanne, Pierre; Likavec, Silvia
4
2005
Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus. Zbl 1272.03078
Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre
3
2005
The complexity of the certification of properties of stable marriage. Zbl 1172.91334
Dougherty, Daniel J.; Selkow, Stanley M.
1
2004
A combinatory logic approach to higher-order E-unification. Zbl 0874.68271
Dougherty, Daniel J.; Johann, Patricia
2
1995
Higher-order unification via combinators. Zbl 0772.68061
Dougherty, Daniel J.
4
1993
Adding algebraic rewriting to the untyped lambda calculus. Zbl 0769.68058
Dougherty, Daniel J.
13
1992
An improved general \(E\)-unification method. Zbl 0773.68063
Dougherty, Daniel J.; Johann, Patricia
2
1992
A strong Baire category theorem for products. Zbl 0756.54018
Dougherty, Daniel J.
1
1991
Decomposition theorems for measures. Zbl 0635.28004
Shortt, R. M.; Dougherty, D. J.; Ball, R. N.
2
1987
Decomposition of infinite matrices. Zbl 0687.05005
Dougherty, Daniel J.
1
1987

Citations by Year