Login
中文
Walter Guttmann
HIndex: 6
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Topological sorting
Imperative programming
Pattern matching
Data structure
Precondition
Programming language
Fixed point
Fold
Satisfiability
Divide and conquer algorithms
Higher-order logic
Median
Relational model
Computational complexity theory
Functional programming
Kleene algebra
Recursion
Finite-state machine
Data type
Lazy evaluation
Semiring
Abstract state machines
Total order
Formal semantics
State transition table
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Topological sorting
Imperative programming
Pattern matching
Data structure
Precondition
Programming language
Fixed point
Fold
Satisfiability
Divide and conquer algorithms
Higher-order logic
Median
Relational model
Computational complexity theory
Functional programming
Kleene algebra
Recursion
Finite-state machine
Data type
Lazy evaluation
Semiring
Abstract state machines
Total order
Formal semantics
State transition table
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Walter Guttmann
University Of Louisiana At Monroe
36
×
Share to your followers
Submit