Donald Sannella

ScholarGPS™ ID: 49552406962029

Affiliation History

Discipline
Computer Science
Metrics Summary
Publication Count
116
Predicted Citations
4,792
Predicted h-index
35
Ranking

Publications and Citation History

Publications based on Top Specialties

Types of Publication

You must register and claim your profile to add or remove publications from it.
... publications
FILTER BY:
Year
Type
Specialty
Affiliations
Collaborations
Access
Country/Region
Co-Authors
Delete
Patterns of Reasoning (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Input/Output and Monads (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Counting Satisfying Valuations (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Karnaugh Maps (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Relations and Quantifiers (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Algebraic Data Types (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Checking Satisfiability (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Higher and Higher (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Sequent Calculus (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Expression Trees (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Simple Computations (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
More Patterns of Reasoning (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Lists and Recursion (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
More Fun with Recursion (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Higher-Order Functions (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Venn Diagrams and Logical Connectives (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Features and Predicates (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Testing Your Programs (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Sets (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Types (book chapter)
In Introduction to Computation
Springer International Publishing (2021)