SwePub
Sök i LIBRIS databas

  Extended search

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

Search: onr:"swepub:oai:DiVA.org:hh-20499" > Lifting non-finite ...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Lifting non-finite axiomatizability results to extensions of process algebras

Aceto, Luca (author)
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
Fokkink, Wan J. (author)
Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands
Ingólfsdóttir, Anna (author)
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
show more...
Mousavi, Mohammad Reza (author)
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
show less...
 (creator_code:org_t)
Eindhoven : Technische Universiteit Eindhoven, 2008
English 25 s.
Series: Computer Science Report ; 08-05
  • Reports (other academic/artistic)
Subject headings
Close  

Subject headings

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

Publication and Content Type

vet (subject category)
rap (subject category)

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Find more in SwePub

By the author/editor
Aceto, Luca
Fokkink, Wan J.
Ingólfsdóttir, A ...
Mousavi, Mohamma ...
About the subject
NATURAL SCIENCES
NATURAL SCIENCES
and Computer and Inf ...
Parts in the series
By the university
Halmstad University

Search outside 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 Close

Copy and save the link in order to return to this view