10 results on '"Falaschi M"'
Search Results
2. An integrated framework for the diagnosis and correction of rule-based programs
3. A compact fixpoint semantics for term rewriting systems
4. A Rewriting-based Framework for Web Sites Verification
5. Cost-Sensitive Diagnosis of Declarative Programs
6. Abstract Correction of First-Order Functional Programs
7. Declarative Debugging of Functional Logic Programs
8. Reversing a downward trend in threatened peripheral amphibian (Triturus cristatus) populations through interventions combining species, habitat and genetic information.
9. Declarative modeling of the operational behavior of logic languages
10. A synchronization logic: Axiomatics and formal semantics of generalized horn clauses
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.