Andreas Herzig
2
Documents
Publications
- 2
- 2
- 1
|
Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof)Journal of Logical and Algebraic Methods in Programming, 2021, pp.100683. ⟨10.1016/j.jlamp.2021.100683⟩
Article dans une revue
hal-03210604v1
|
|
Resource separation in dynamic logic of propositional assignmentsInternational Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), Oct 2019, Porto, Portugal. pp.155-170, ⟨10.1007/978-3-030-38808-9_10⟩
Communication dans un congrès
hal-02942300v1
|