View in EDS PDF Full Text

Boolean unification with predicates.

Saved in:
Bibliographic Details
Title: Boolean unification with predicates.
Authors: EBERHARD, SEBASTIAN1, eberhard@iam.unibe.ch, HETZL, STEFAN1, stefan.hetzl@tuwien.ac.at, WELLER, DANIEL1, weller@logic.at
Source: Journal of Logic & Computation; Feb2017, Vol. 27 Issue 1, p109-128, 20p
Database: Applied Science & Technology Source
Description
ISSN:0955792X
DOI:10.1093/logcom/exv059