Login
中文
Georg Struth
HIndex: 12
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Distributive lattice
Logic
Rule of inference
Theory of computation
Correctness
Rotation formalisms in three dimensions
Logic programming
Formal methods
Automated theorem proving
Set theory
First-order logic
Proof assistant
Boolean algebra
Binary relation
Hoare logic
Kleene algebra
Modal logic
Termination analysis
Invariant
Relation algebra
Temporal logic
Proof theory
Heyting algebra
Lattice
Word problem
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Distributive lattice
Logic
Rule of inference
Theory of computation
Correctness
Rotation formalisms in three dimensions
Logic programming
Formal methods
Automated theorem proving
Set theory
First-order logic
Proof assistant
Boolean algebra
Binary relation
Hoare logic
Kleene algebra
Modal logic
Termination analysis
Invariant
Relation algebra
Temporal logic
Proof theory
Heyting algebra
Lattice
Word problem
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Georg Struth
University Of Sheffield
100
×
Share to your followers
Submit