Treffer: Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Title:
Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Authors:
Source:
2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) VL-HCC Visual Languages and Human-Centric Computing (VL/HCC), 2025 IEEE Symposium on. :266-271 Oct, 2025
Relation:
2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
Database:
IEEE Xplore Digital Library