Pages that link to "Item:Q1353915"
From MaRDI portal
The following pages link to Relating logic programs via program maps (Q1353915):
Displaying 7 items.
- Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer (Q759743) (← links)
- On the relationship between TMS and logic programs (Q1333372) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Mapping Fusion and Synchronized Hyperedge Replacement into logic programming (Q3430667) (← links)
- (Q3798292) (← links)
- (Q4437807) (← links)
- Logical Mappings (Q5520633) (← links)