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
Bjørner, Nikolaj
-
dc.contributor.author
Kovacs, Laura
-
dc.date.accessioned
2023-03-06T12:12:22Z
-
dc.date.available
2023-03-06T12:12:22Z
-
dc.date.issued
2012-12
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Bjørner, N., & Kovacs, L. (2012). Foreword. <i>Journal of Symbolic Computation</i>, <i>47</i>(12), 1413–1415. https://doi.org/10.1016/j.jsc.2011.12.047</div> </div>
-
dc.identifier.issn
0747-7171
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/163393
-
dc.language.iso
en
-
dc.publisher
ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
-
dc.relation.ispartof
Journal of Symbolic Computation
-
dc.subject
Computational Mathematics
-
dc.subject
Algebra and Number Theory
-
dc.title
Foreword
en
dc.type
Artikel
de
dc.type
Article
en
dc.contributor.affiliation
Microsoft Research, USA
-
dc.description.startpage
1413
-
dc.description.endpage
1415
-
dc.type.category
Editorial
-
tuw.container.volume
47
-
tuw.container.issue
12
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
false
-
wb.publication.intCoWork
International Co-publication
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Journal of Symbolic Computation
-
tuw.publication.orgunit
E194-05 - Forschungsbereich Compilers and Languages
-
tuw.publisher.doi
10.1016/j.jsc.2011.12.047
-
dc.identifier.eissn
0747-7171
-
dc.description.numberOfPages
3
-
tuw.author.orcid
0000-0002-1695-2810
-
tuw.author.orcid
0000-0002-8299-2714
-
wb.sci
true
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_b239
-
item.openairetype
editorial
-
crisitem.author.dept
Microsoft Research Lab, USA
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.orcid
0000-0002-1695-2810
-
crisitem.author.orcid
0000-0002-8299-2714
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
Appears in Collections:
Article
Show simple item record
Page view(s)
142
checked on Nov 23, 2023
Google Scholar
TM
Check