Cited By
View all- Mesmay ARieck YSedgwick ETancer M(2020)Embeddability in R3 is NP-hardJournal of the ACM10.1145/339659367:4(1-29)Online publication date: 4-Jun-2020
- Al-Sibahi AJensen TDimovski AWąsowski A(2020)Verification of high-level transformations with inductive refinement typesACM SIGPLAN Notices10.1145/3393934.327812553:9(147-160)Online publication date: 7-Apr-2020
- Zhang WOliveira B(2020)Pattern matching in an open worldACM SIGPLAN Notices10.1145/3393934.327812453:9(134-146)Online publication date: 7-Apr-2020
- Show More Cited By