Some experiments with a completion theorem prover

Ursula Martin; Michael Lai

doi:https://doi.org/10.1016/0747-7171(92)90007-Q

Some experiments with a completion theorem prover

Ursula Martin, Michael Lai

School of Informatics

Research output: Contribution to journal › Article › peer-review

Abstract / Description of output

We describe results in algebra which have been obtained using the completion theorem prover REVE.

Original language	English
Pages (from-to)	81-100
Number of pages	20
Journal	Journal of Symbolic Computation
Volume	13
Issue number	1
DOIs	https://doi.org/10.1016/0747-7171(92)90007-Q
Publication status	Published - 1992

Access to Document

https://doi.org/10.1016/0747-7171(92)90007-Q

http://www.sciencedirect.com/science/article/pii/074771719290007Q

Cite this

@article{eb57b8f45d1f4fd18d1d20d6841c60c0,

title = "Some experiments with a completion theorem prover",

abstract = "We describe results in algebra which have been obtained using the completion theorem prover REVE.",

author = "Ursula Martin and Michael Lai",

year = "1992",

doi = "https://doi.org/10.1016/0747-7171(92)90007-Q",

language = "English",

volume = "13",

pages = "81--100",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Some experiments with a completion theorem prover

AU - Martin, Ursula

AU - Lai, Michael

PY - 1992

Y1 - 1992

N2 - We describe results in algebra which have been obtained using the completion theorem prover REVE.

AB - We describe results in algebra which have been obtained using the completion theorem prover REVE.

U2 - https://doi.org/10.1016/0747-7171(92)90007-Q

DO - https://doi.org/10.1016/0747-7171(92)90007-Q

M3 - Article

SN - 0747-7171

VL - 13

SP - 81

EP - 100

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 1

ER -

Some experiments with a completion theorem prover

Abstract / Description of output

Access to Document

Fingerprint

Cite this