Authors: Hannes Saffrich, Peter Thiemann
Superior Title: Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
Subject Terms: computer science - programming languages, d.1.3, d.3.1, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Relation: https://lmcs.episciences.org/8815/pdf; https://doaj.org/toc/1860-5974; https://doaj.org/article/5922d027f1484764b265df41ee52634c
Availability:
https://doi.org/10.46298/lmcs-18(3:33)2022
https://doaj.org/article/5922d027f1484764b265df41ee52634c