The following pages link to PLUMP (Q13472):
Displayed 13 items.
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings (Q1189444) (← links)
- Foundations of Grothendieck duality for diagrams of schemes (Q2518147) (← links)
- Weighted Hardy inequalities (Q2568189) (← links)
- (Q3538286) (← links)
- Weakest Preconditions for High-Level Programs (Q3541980) (← links)
- On Hardy-Type Inequalities (Q4219612) (← links)
- (Q4222808) (← links)
- (Q4280781) (← links)
- (Q4438775) (← links)
- Graph Transformations (Q5292591) (← links)
- Intuitionistic sets and ordinals (Q5687312) (← links)
- Formal Methods in Software and Systems Modeling (Q5710425) (← links)