CERES for First-Order Schemata

Saved in:
Bibliographic Details
Published in:Journal of logic and computation 2017-10, Vol.27 (7)
Main Authors: Leitsch, Alexander, Peltier, Nicolas, Weller, Daniel
Format: Article
Language:English
Subjects:
Computer Science
Logic in Computer Science
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/exx003