Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem

Andrei Voronkov

doi:10.1016/S0304-3975(98)00317-X

Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem

Andrei Voronkov

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

Abstract

Recently, a number of results have been published related to simultaneous rigid E-unification and Herbrand's theorem for logic with equality. The aim of this article is to overview these results, fill in some proofs that have only been sketched before, and present some new results. © 1999 Elsevier Science B.V. All rights reserved.

Original language	English
Pages (from-to)	319-352
Number of pages	33
Journal	Theoretical Computer Science
Volume	224
Issue number	1-2
DOIs	https://doi.org/10.1016/S0304-3975(98)00317-X
Publication status	Published - 6 Aug 1999

Access to Document

10.1016/S0304-3975(98)00317-X

Cite this

@article{345b5d8e2e19447abb505f4f9154089b,

title = "Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem",

abstract = "Recently, a number of results have been published related to simultaneous rigid E-unification and Herbrand's theorem for logic with equality. The aim of this article is to overview these results, fill in some proofs that have only been sketched before, and present some new results. {\textcopyright} 1999 Elsevier Science B.V. All rights reserved.",

author = "Andrei Voronkov",

year = "1999",

month = aug,

day = "6",

doi = "10.1016/S0304-3975(98)00317-X",

language = "English",

volume = "224",

pages = "319--352",

journal = "Theoretical Computer Science",

publisher = "Elsevier BV",

number = "1-2",

}

TY - JOUR

T1 - Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem

AU - Voronkov, Andrei

PY - 1999/8/6

Y1 - 1999/8/6

N2 - Recently, a number of results have been published related to simultaneous rigid E-unification and Herbrand's theorem for logic with equality. The aim of this article is to overview these results, fill in some proofs that have only been sketched before, and present some new results. © 1999 Elsevier Science B.V. All rights reserved.

AB - Recently, a number of results have been published related to simultaneous rigid E-unification and Herbrand's theorem for logic with equality. The aim of this article is to overview these results, fill in some proofs that have only been sketched before, and present some new results. © 1999 Elsevier Science B.V. All rights reserved.

U2 - 10.1016/S0304-3975(98)00317-X

DO - 10.1016/S0304-3975(98)00317-X

M3 - Article

VL - 224

SP - 319

EP - 352

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-2

ER -

Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem

Abstract

Access to Document

Fingerprint

Cite this