PLUMP
From MaRDI portal
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
- scientific article; zbMATH DE number 510316 (Why is no real title available?)
- Intuitionistic sets and ordinals
- Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings
- scientific article; zbMATH DE number 1231498 (Why is no real title available?)
- scientific article; zbMATH DE number 2016072 (Why is no real title available?)
- Graph Transformations
- Foundations of Grothendieck duality for diagrams of schemes
This page was built for software: PLUMP
