Simultaneous rigid E-unification is undecidable
1996 (English)In: COMPUTER SCIENCE LOGIC, ISSN 0302-9743, Vol. 1092, 178-190 p.Article in journal (Other scientific) Published
Simultaneous rigid E-unification was introduced in 1987 by Gallier, Raatz and Snyder. It is used in the area of automated reasoning with equality in extension procedures, like the tableau method or the connection method. There were several faulty proofs o
Place, publisher, year, edition, pages
SPRINGER-VERLAG BERLIN , 1996. Vol. 1092, 178-190 p.
EQUATIONAL MATINGS; LOGIC
IdentifiersURN: urn:nbn:se:uu:diva-27193OAI: oai:DiVA.org:uu-27193DiVA: diva2:55087
Addresses: Degtyarev A, UNIV UPPSALA, DEPT COMP SCI, BOX 311, S-75105 UPPSALA, SWEDEN.2008-10-172008-10-172011-01-15