PLUMP
From MaRDI portal
Software:13472
swMATH718MaRDI QIDQ13472FDOQ13472
Author name not available (Why is that?)
Cited In (13)
- On Hardy-Type Inequalities
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
- Weakest Preconditions for High-Level Programs
- Formal Methods in Software and Systems Modeling
- Weighted Hardy inequalities
- Title not available (Why is that?)
- Intuitionistic sets and ordinals
- Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Graph Transformations
- Title not available (Why is that?)
- Foundations of Grothendieck duality for diagrams of schemes
This page was built for software: PLUMP
