Login
中文
J Strother Moore
HIndex: 13
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Verification
Artificial intelligence
Abstract machine
Computer Applications
Floating point
Model of computation
Mathematical logic
Automated reasoning
Operational semantics
First-order logic
Logic programming
Software system
Compiler
Digital signal processor
Programming language
Theory of computation
Formal methods
Knowledge representation and reasoning
Logic
Theorem
Computability
Software verification
Functional programming
Automated theorem proving
Computational logic
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Verification
Artificial intelligence
Abstract machine
Computer Applications
Floating point
Model of computation
Mathematical logic
Automated reasoning
Operational semantics
First-order logic
Logic programming
Software system
Compiler
Digital signal processor
Programming language
Theory of computation
Formal methods
Knowledge representation and reasoning
Logic
Theorem
Computability
Software verification
Functional programming
Automated theorem proving
Computational logic
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
J Strother Moore
Xerox
53
J Strother Moore
University Of Texas At Austin
38
J Strother Moore
Xerox
37
×
Share to your followers
Submit