Träfflista för sökning "WFRF:(Narendran P) "

Sökning: WFRF:(Narendran P)

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Degtyarev, A, et al. (författare) Decidability and complexity of simultaneous rigid E-unification with one variable and related results 2000 Ingår i: THEORETICAL COMPUTER SCIENCE. - : ELSEVIER SCIENCE BV. - 0304-3975. ; 243:1-2, s. 167-184 Tidskriftsartikel (refereegranskat)abstract We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the For AllThere Exists For All fragment of intuitionistic logic with equality is decidable
2.	Degtyarev, A, et al. (författare) The decidability of simultaneous rigid E-unification with one variable 1998 Ingår i: REWRITING TECHNIQUES AND APPLICATIONS. - : SPRINGER-VERLAG BERLIN. - 0302-9743. ; 1379, s. 181-195 Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the For AllThere Exists For All fragment of intuitionistic logic with equality is decidable

Skapa referenser, mejla, bekava och länka

Författare/redaktör: Voronkov, A. (2); Degtyarev, A (2); Gurevich, Y (2); Narendran, P (2); Veanes, M (2)

År

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.

Stäng

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