Search: onr:"swepub:oai:DiVA.org:hh-20499" >
Lifting non-finite ...
-
Aceto, LucaICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
(author)
Lifting non-finite axiomatizability results to extensions of process algebras
Publisher, publication year, extent ...
-
Eindhoven :Technische Universiteit Eindhoven,2008
-
25 s.
-
printrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:hh-20499
-
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20499URI
Supplementary language notes
Part of subdatabase
Classification
-
Subject category:vet swepub-contenttype
-
Subject category:rap swepub-publicationtype
Series
-
Computer Science Report ;08-05
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Fokkink, Wan J.Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands
(author)
-
Ingólfsdóttir, AnnaICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
(author)
-
Mousavi, Mohammad RezaDepartment of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands(Swepub:hh)mohmou
(author)
-
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, IcelandDepartment of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands
(creator_code:org_t)
Internet link
To the university's database