> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes Beteiligte: Zaiser, Fabian [VerfasserIn]; Ong, Luke [VerfasserIn] Erschienen: 2021 Erschienen in: International Workshop on Satisfiability Modulo Theories (19. : 2021 : Online): Satisfiability Modulo Theories - 19th international workshop, SMT 2021 ; (2021), Seite 65 Sprache: Englisch Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang