swMATH718MaRDI QIDQ13472FDOQ13472
Author name not available (Why is that?)
Official website: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.3083
Cited In (13)
- On Hardy-Type Inequalities
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
- Quasiconformal mappings and Plump domains
- 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
- Foundations of Grothendieck duality for diagrams of schemes
This page was built for software: PLUMP
