Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
University of Manchester
Univ. of Manchester, UK
Ax-Pet a Demonstrator for PET Imaging Using Long Axially Oriented Scintillating Crystals
Complexity of Hybrid Logics over Transitive Frames
Generalized Satisfiability for the Description Logic ALC
Model Checking CTL is Almost Always Inherently Sequential
The Complexity of Generalized Satisfiability for Linear Temporal Logic
No associations
LandOfFree
Thomas Schneider does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Thomas Schneider, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Thomas Schneider will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-199473