SwePub
Sök i LIBRIS databas

  Utökad sökning

id:"swepub:oai:DiVA.org:liu-67129"
 

Sökning: id:"swepub:oai:DiVA.org:liu-67129" > Towards a Framework...

Towards a Framework for the Abstract Interpretation of Logic Programs

Nilsson, Ulf, 1961- (författare)
Linköpings universitet,TCSLAB - Laboratoriet för teoretisk datalogi,Tekniska högskolan
 (creator_code:org_t)
2005-05-29
1989
Engelska.
Ingår i: Programming Language Implementation and Logic Programming. - Berlin, Heidelberg : Springer. ; , s. 68-82
  • Konferensbidrag (refereegranskat)
Ämnesord
Stäng  

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Nyckelord

Computer science
Datavetenskap

Publikations- och innehållstyp

ref (ämneskategori)
kon (ämneskategori)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Nilsson, Ulf, 19 ...
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
och Datavetenskap
Artiklar i publikationen
Av lärosätet
Linköpings universitet

Sök utanför SwePub

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