Toggle navigation
reposiTUm
ÜBER REPOSITUM
HILFE
Anmelden
Aktuelles
Browsen nach
Publikationstypen
Organisationseinheiten
Forschende
Projekte
TU Wien Academic Press
Open-Access-Schriftenreihen
Hochschulschriften
Digitalisate
Erscheinungsjahr
Datensatz Zitierlink:
http://hdl.handle.net/20.500.12708/164301
-
Titel:
Selected Papers of the Conference "Computer Science Logic CSL 2010": Preface
en
Zitat:
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
-
Verlags-DOI:
10.2168/lmcs-csl:2010
-
Publikationstyp:
Artikel - Vorwort
de
Sprache:
Englisch
-
Autor_innen:
Dawar, Anuj
Veith, Helmut
-
Organisationseinheit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Zeitschrift:
Logical Methods in Computer Science
-
ISSN:
1860-5974
-
Datum (veröffentlicht):
2012
-
Umfang:
1
-
Verlag:
LOGICAL METHODS COMPUTER SCIENCE E V
-
Peer Reviewed:
Nein
-
Keywords:
Theoretical Computer Science; General Computer Science
-
Forschungsschwerpunkte:
Distributed and Parallel Systems: 10%
Computer Engineering and Software-Intensive Systems: 20%
Logic and Computation: 70%
-
Wissenschaftszweig:
Mathematik, Informatik
-
Enthalten in den Sammlungen:
Article
Zur Langanzeige
Seiten Aufrufe
117
aufgerufen am 23.11.2023
Google Scholar
TM
Check