1
Academic Journal
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
File Description: electronic resource