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
Record link:
http://hdl.handle.net/20.500.12708/164301
-
Title:
Selected Papers of the Conference "Computer Science Logic CSL 2010": Preface
en
Citation:
Dawar, A., & Veith, H. (2012). Selected Papers of the Conference “Computer Science Logic CSL 2010”: Preface.
Logical Methods in Computer Science
. https://doi.org/10.2168/lmcs-csl:2010
-
Publisher DOI:
10.2168/lmcs-csl:2010
-
Publication Type:
Article - Editorial
en
Language:
English
-
Authors:
Dawar, Anuj
Veith, Helmut
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Journal:
Logical Methods in Computer Science
-
ISSN:
1860-5974
-
Date (published):
2012
-
Number of Pages:
1
-
Publisher:
LOGICAL METHODS COMPUTER SCIENCE E V
-
Peer reviewed:
No
-
Keywords:
Theoretical Computer Science; General Computer Science
-
Research Areas:
Distributed and Parallel Systems: 10%
Computer Engineering and Software-Intensive Systems: 20%
Logic and Computation: 70%
-
Science Branch:
Mathematik, Informatik
-
Appears in Collections:
Article
Show full item record
Google Scholar
TM
Check