The TPTP process instruction language with applications

Research output: Contribution to journal › Conference article › peer-review

Original language	English (US)
Pages (from-to)	1-3
Number of pages	3
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	167
DOIs	https://doi.org/10.4204/eptcs.167.1
State	Published - Oct 29 2014
Externally published	Yes
Event	11th Workshop on User Interfaces for Theorem Provers, UITP 2014 - Vienna, Austria Duration: Jul 17 2014 → …

ASJC Scopus subject areas

@article{7121be6ef48c4252ac96d4270e4f8b96,

title = "The TPTP process instruction language with applications",

author = "Geoff Sutcliffe",

year = "2014",

month = oct,

day = "29",

doi = "10.4204/eptcs.167.1",

language = "English (US)",

volume = "167",

pages = "1--3",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - The TPTP process instruction language with applications

AU - Sutcliffe, Geoff

PY - 2014/10/29

Y1 - 2014/10/29

UR - http://www.scopus.com/inward/record.url?scp=84938561396&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84938561396&partnerID=8YFLogxK

U2 - 10.4204/eptcs.167.1

DO - 10.4204/eptcs.167.1

M3 - Conference article

AN - SCOPUS:84938561396

VL - 167

SP - 1

EP - 3

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

SN - 2075-2180

T2 - 11th Workshop on User Interfaces for Theorem Provers, UITP 2014

Y2 - 17 July 2014

ER -