PLUMP

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