13 results on '"Mateis, Cristinel"'
Search Results
2. CPSDebug: Automatic failure explanation in CPS models
3. Specifying and detecting temporal patterns with shape expressions
4. Locating Bugs in Java Programs — First Results of the Java Diagnosis Experiments Project
5. Extending Disjunctive Logic Programming by T-norms
6. Progress report on the disjunctive deductive database system dlv
7. A deductive system for non-monotonic reasoning
8. Unification of bounded simple set terms in deductive databases
9. The complexity of weak unification of bounded simple set terms
10. Locating Bugs in Java Programs — First Results of the Java Diagnosis Experiments Project
11. Extending Disjunctive Logic Programming by T-norms
12. A deductive system for non-monotonic reasoning
13. Unification of bounded simple set terms in deductive databases
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.