Timm Lampert: Deciding Simple Infinity Axiom Sets with one Binary Relation… (IJCAR B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-17

Deciding Simple Infinity Axiom Sets with one Binary Relation by Superpostulates
Authors: Timm Lampert and Anderson Nakano

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