The undecidability of simultaneous rigid E-unification
type: Item
instance of: scholarly article
title: The undecidability of simultaneous rigid E-unification
zbMATH Open document ID: 0872.68173
DOI: 10.1016/0304-3975(96)00092-8
author: Anatoli I. Degtyarev
author: Andrei Voronkov
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 983430
MaRDI profile type: Publication
full work available at URL: 0304-3975(96)00092-8
OpenAlex ID: W2007520000
cites work: Theorem Proving via General Matings
cites work: Q3140630
cites work: Q4255506
cites work: A completion-based method for mixed universal and rigid E-unification
cites work: Q3833651
cites work: Decidability and complexity of simultaneous rigid E-unification with one variable and related results
cites work: First-order modal tableaux
cites work: Theorem proving using equational matings and rigid E -unification
cites work: Rigid E-unification: NP-completeness and applications to equational matings
cites work: Linear logic
cites work: The undecidability of the second-order unification problem
cites work: Q5620583
cites work: Positive First-Order Logic Is NP-Complete
cites work: Q5549805
cites work: Mechanical Theorem-Proving by Model Elimination
cites work: Q5559244
cites work: Q4109666
cites work: Q4537435
cites work: Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification
Recommended article: Q4364523
Recommended article: Q3838767
Recommended article: Decidability and complexity of simultaneous rigid E-unification with one variable and related results
Recommended article: Monadic simultaneous rigid E-unification and related problems
Recommended article: Rigid E-unification: NP-completeness and applications to equational matings
Recommended article: Theorem Proving with Bounded Rigid E-Unification
Recommended article: Q4375199
Recommended article: RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION
Recommended article: Q4282607
Recommended article: The undecidability of the semi-unification problem
description: scientific article; zbMATH DE number 983430