Affiliation History

Discipline
Computer Science
Metrics Summary
Publication Count
173
Predicted Citations
17,739
Predicted h-index
63
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
Higher and Higher (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Combinatorial Algorithms (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Deterministic Finite Automata (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Efficient CNF Conversion (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Type Classes (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)
Features and Predicates (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)
Patterns of Reasoning (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)
Lists and Comprehensions (book chapter)
In Introduction to Computation
Springer International Publishing (2021)