Login
中文
Lutz Schroder
HIndex: 10
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Higher-order logic
Proof theory
First-order logic
Mathematics
Hoare logic
Monad
Model of computation
Algebra
Probabilistic logic
Dynamic logic
Fixed point
Semantics
Process calculus
Functional programming
Modal logic
Theory of computation
Logic
Genetic algorithm
Knowledge representation and reasoning
Completeness
Satisfiability
Description logic
Discrete mathematics
Rotation formalisms in three dimensions
Specification language
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Higher-order logic
Proof theory
First-order logic
Mathematics
Hoare logic
Monad
Model of computation
Algebra
Probabilistic logic
Dynamic logic
Fixed point
Semantics
Process calculus
Functional programming
Modal logic
Theory of computation
Logic
Genetic algorithm
Knowledge representation and reasoning
Completeness
Satisfiability
Description logic
Discrete mathematics
Rotation formalisms in three dimensions
Specification language
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Lutz Schroder
Imperial College London
141
Lutz Schroder
Kaiserslautern University Of Technology
1
Lutz Schroder
Zimmer Holdings
1
×
Share to your followers
Submit