SwePub
Sök i LIBRIS databas

  Utökad sökning

L773:0168 7433 OR L773:1573 0670
 

Sökning: L773:0168 7433 OR L773:1573 0670 > What you always wan...

  • Degtyarev, AUppsala universitet (författare)

What you always wanted to know about rigid E-unification

  • Artikel/kapitelEngelska1998

Förlag, utgivningsår, omfång ...

  • KLUWER ACADEMIC PUBL,1998
  • printrdacarrier

Nummerbeteckningar

  • LIBRIS-ID:oai:DiVA.org:uu-27156
  • https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-27156URI

Kompletterande språkuppgifter

  • Språk:engelska
  • Sammanfattning på:engelska

Ingår i deldatabas

Klassifikation

  • Ämneskategori:vet swepub-contenttype
  • Ämneskategori:art swepub-publicationtype

Anmärkningar

  • Addresses: Univ Uppsala, Dept Comp Sci, S-75105 Uppsala, Sweden.
  • This paper solves an open problem posed by a number of researchers: the construction of a complete calculus for matrix-based methods with rigid E-unification. The use of rigid E-unification and simultaneous rigid E-unification for such methods was propose

Ämnesord och genrebeteckningar

  • tableau method; equality reasoning; rigid E-unification; BASIC PARAMODULATION; EQUATIONAL MATINGS; SYSTEMS; SUPERPOSITION; LOGIC

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Voronkov, AUppsala universitet (författare)
  • Uppsala universitet (creator_code:org_t)

Sammanhörande titlar

  • Ingår i:JOURNAL OF AUTOMATED REASONING: KLUWER ACADEMIC PUBL20:1-2, s. 47-800168-7433

Internetlänk

Hitta via bibliotek

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Degtyarev, A
Voronkov, A
Artiklar i publikationen
JOURNAL OF AUTOM ...
Av lärosätet
Uppsala universitet

Sök utanför SwePub

Wikipedia om författaren:
A_Degtyarev
Degtyarev, A
en

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy