"An Algebraic View on p-Admissible Concrete Domains for Lightweight ..."

Franz Baader, Jakub Rydval (2021)

Details and statistics

DOI: 10.1007/978-3-030-75775-5_14

access: closed

type: Conference or Workshop Paper

metadata version: 2021-05-16

a service of  Schloss Dagstuhl - Leibniz Center for Informatics