> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Automated Deduction – CADE 26: A Transfinite Knuth–Bendix Order for Lambda-Free Higher-Order Terms Beteiligte: Becker, Heiko; Blanchette, Jasmin Christian; Waldmann, Uwe; Wand, Daniel Erschienen: Springer International Publishing, 2017 Erschienen in: Automated Deduction – CADE 26 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-319-63046-5_27 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: