The following pages link to Péter Szeredi (Q2909142):
Displayed 8 items.
- Static Type Checking for the Q Functional Language in Prolog (Q2909143) (← links)
- Efficient description logic reasoning in Prolog: The DLog system (Q3393230) (← links)
- Plagiarism Detection in Source Programs Using Structural Similarities (Q3551111) (← links)
- (Q4812981) (← links)
- Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving (Q4898739) (← links)
- The Semantic Web Explained (Q5174613) (← links)
- Static Type Inference for the Q language using Constraint Logic Programming (Q5398050) (← links)
- Prolog Based Description Logic Reasoning (Q5504674) (← links)