Login
中文
Alban Ponse
HIndex: 9
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Propositional calculus
Abstract data type
Boolean algebra
Logic
Decision problem
Proof theory
Formal language
Risk assessment
Concurrency
Specification language
Process calculus
Theory of computation
Hoare logic
Model of computation
Haplogroup N
Artificial intelligence
Many-valued logic
Operational semantics
Normal-form game
Equivalence relation
Linear programming
Asynchronous communication
Programming language
Computability
Knowledge representation and reasoning
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Propositional calculus
Abstract data type
Boolean algebra
Logic
Decision problem
Proof theory
Formal language
Risk assessment
Concurrency
Specification language
Process calculus
Theory of computation
Hoare logic
Model of computation
Haplogroup N
Artificial intelligence
Many-valued logic
Operational semantics
Normal-form game
Equivalence relation
Linear programming
Asynchronous communication
Programming language
Computability
Knowledge representation and reasoning
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Alban Ponse
Utrecht University
119
×
Share to your followers
Submit