Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
DC Field
Value
Language
dc.contributor.author
Dawar, Anuj
-
dc.contributor.author
Veith, Helmut
-
dc.date.accessioned
2023-03-06T12:43:42Z
-
dc.date.available
2023-03-06T12:43:42Z
-
dc.date.issued
2012
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Dawar, A., & Veith, H. (2012). Selected Papers of the Conference “Computer Science Logic CSL 2010”: Preface. <i>Logical Methods in Computer Science</i>. https://doi.org/10.2168/lmcs-csl:2010</div> </div>
-
dc.identifier.issn
1860-5974
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/164301
-
dc.language.iso
en
-
dc.publisher
LOGICAL METHODS COMPUTER SCIENCE E V
-
dc.relation.ispartof
Logical Methods in Computer Science
-
dc.subject
Theoretical Computer Science
-
dc.subject
General Computer Science
-
dc.title
Selected Papers of the Conference "Computer Science Logic CSL 2010": Preface
en
dc.type
Artikel
de
dc.type
Article
en
dc.type.category
Editorial
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
false
-
tuw.researchTopic.id
I4
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Distributed and Parallel Systems
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
10
-
tuw.researchTopic.value
20
-
tuw.researchTopic.value
70
-
dcterms.isPartOf.title
Logical Methods in Computer Science
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.2168/lmcs-csl:2010
-
dc.identifier.eissn
1860-5974
-
dc.description.numberOfPages
1
-
wb.sci
true
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_b239
-
item.fulltext
no Fulltext
-
item.openairetype
editorial
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E184 - Institut für Informationssysteme
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
Appears in Collections:
Article
Show simple item record
Page view(s)
80
checked on Nov 23, 2023
Google Scholar
TM
Check