Computer Science – Logic in Computer Science
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
Automated Predicate Abstraction for Real-Time Models
Classes of Terminating Logic Programs
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
Jan-Georg Smaus does not yet have a rating. At this time, there are no reviews or comments for this scientist.If you have personal experience with Jan-Georg Smaus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jan-Georg Smaus will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-7401