Get started
Author

Scott Dietzen

Observed names: Dietzen, Scott, Scott R. Dietzen
Observed institution: Carnegie Mellon University
OpenAlex ID: A5019869042
Programming in higher-order typed lambda-calculi
2018 · Pierce, Benjamin, Dietzen, Scott, et al. · Figshare · 33
PDF
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
1992 · Scott Dietzen, Frank Pfenning · Machine Learning · 12
PDF
Application servers (panel session)
2001 · C. Mohan, Larry Cable, et al. · ACM SIGMOD International Conference on Management of Data (SIGMOD) · 9
A Declarative Alternative to "Assert" in Logic Programming.
1991 · Scott Dietzen, Frank Pfenning · 7
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
1989 · Scott Dietzen, Frank Pfenning · Elsevier eBooks · 6
A language for higher-order explanation-based learning
1992 · Scott Dietzen · Defense Technical Information Center (DTIC) · 2
Pure storage’s CEO on choosing the right time for an ipo
2016 · Scott Dietzen · Harvard business review · 1
Application servers (panel session)
2001 · C. Mohan, Larry Cable, et al. · ACM SIGMOD Record · 1
J2EEアプリを透過的なサービスに BEAのCT0、スコット・ディッゼンが語るWebサービスの全貌
2001 · 知三郎 岩山, Scott Dietzen · コンピュ-トピア
Works count: 13
Citation count: 71
H-index: 5
I10-index: 2
Year
Topic
Type