Franz Baader: Deciding the Word Problem for Ground Identities with Commutative and … (IJCAR B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-16

Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols
Authors: Franz Baader and Deepak Kapur

Aired: 2020-02-03 16:30:00 CEST (UTC+2)