SwePub
Tyck till om SwePub Sök här!
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:hh-20499"
 

Sökning: onr:"swepub:oai:DiVA.org:hh-20499" > Lifting non-finite ...

Lifting non-finite axiomatizability results to extensions of process algebras

Aceto, Luca (författare)
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
Fokkink, Wan J. (författare)
Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands
Ingólfsdóttir, Anna (författare)
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
visa fler...
Mousavi, Mohammad Reza (författare)
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
visa färre...
 (creator_code:org_t)
Eindhoven : Technische Universiteit Eindhoven, 2008
Engelska 25 s.
Serie: Computer Science Report ; 08-05
  • Rapport (övrigt vetenskapligt/konstnärligt)
Ämnesord
Stäng  

Ämnesord

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

Publikations- och innehållstyp

vet (ämneskategori)
rap (ämneskategori)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Aceto, Luca
Fokkink, Wan J.
Ingólfsdóttir, A ...
Mousavi, Mohamma ...
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
Delar i serien
Av lärosätet
Högskolan i Halmstad

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