Zobrazeno 1 - 10
of 77
pro vyhledávání: '"Meinecke, Ingmar"'
Autor:
Meinecke, Ingmar
Eine der stärksten Erweiterungen der klassischen Theorie formaler Sprachen und Automaten ist die Einbeziehung von Gewichten oder Vielfachheiten aus einem Halbring. Diese Dissertation untersucht gewichtete Automaten über Strukturen mit Nebenläufigk
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A24601
https://tud.qucosa.de/api/qucosa%3A24601/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A24601/attachment/ATT-0/
Autor:
Meinecke, Ingmar
Eine der stärksten Erweiterungen der klassischen Theorie formaler Sprachen und Automaten ist die Einbeziehung von Gewichten oder Vielfachheiten aus einem Halbring. Diese Dissertation untersucht gewichtete Automaten über Strukturen mit Nebenläufigk
Publikováno v:
Logical Methods in Computer Science, Volume 6, Issue 3 (September 4, 2010) lmcs:1057
We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an ev
Externí odkaz:
http://arxiv.org/abs/1007.4764
Autor:
Meinecke, Ingmar, Quaas, Karin
Publikováno v:
In Theoretical Computer Science 15 May 2014 534:69-85
Autor:
Droste, Manfred, Meinecke, Ingmar
Publikováno v:
In Information and Computation November-December 2012 220-221:44-59
Autor:
Meinecke, Ingmar, Cinski, Antje, Baier, Anja, Peters, Marvin A., Dankbar, Berno, Wille, Aline, Drynda, Andreas, Mendoza, Heidi, Gay, Renate E., Hay, Ronald T., Ink, Barbara, Gay, Steffen, Pap, Thomas
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 2007 Mar . 104(12), 5073-5078.
Externí odkaz:
https://www.jstor.org/stable/25427146
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kutzner, Karl Philipp, Maurer, Steven Mark, Meinecke, Ingmar, Heers, Guido, Bosson, Dominique
Publikováno v:
Archives of Orthopaedic & Trauma Surgery; Feb2023, Vol. 143 Issue 2, p1049-1059, 11p
Autor:
Kutzner, Karl Philipp, Gkagkalis, Georgios, Goetti, Patrick, Mai, Sabine, Meinecke, Ingmar, Helmy, Naeder, Bosson, Dominique
Publikováno v:
Deutscher Kongress für Orthopädie und Unfallchirurgie (DKOU 2019); 20191022-20191025; Berlin; DOCAB62-240 /20191022/
Fragestellung: In der zementfreien Hüftendoprothetik werden Kurzschäfte aufgrund ihrer knochenerhaltenden Philosophie vor allem für junge und aktive Patienten empfohlen. Allerdings könnte die weniger invasive Operationstechnik, welche durch das k
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::387b8a7ee2fba41226cbb5b5cf69f3a7
http://nbn-resolving.de/urn:nbn:de:0183-19dkou5783
http://nbn-resolving.de/urn:nbn:de:0183-19dkou5783