Login
中文
Pierre Wolper
HIndex: 29
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Satisfiability
Temporal database
State space
Presburger arithmetic
Time complexity
Verification
Artificial intelligence
Model of computation
Logic
Process management
Knowledge representation and reasoning
Finite model theory
Computability
Linear temporal logic
Model checking
Finite-state machine
Information system
Theory of computation
Logic programming
Temporal logic
Formal methods
Partially ordered set
Operating system
Automaton
Query language
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Satisfiability
Temporal database
State space
Presburger arithmetic
Time complexity
Verification
Artificial intelligence
Model of computation
Logic
Process management
Knowledge representation and reasoning
Finite model theory
Computability
Linear temporal logic
Model checking
Finite-state machine
Information system
Theory of computation
Logic programming
Temporal logic
Formal methods
Partially ordered set
Operating system
Automaton
Query language
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Pierre Wolper
Bell Labs
91
Pierre Wolper
University Of Liege
32
×
Share to your followers
Submit