Completeness and cut-elimination theorems for trilattice logics
- 作者Norihiro Kamide; Heinrich Wansing
- 卷第162卷
- 期第10期
- 印刷ISSN0168-0072
- 文件大小346.77KB
- 发表时间2011
- DOI10.1016/j.apal.2011.03.001
- 页码816-835
Virtualisierung im Future InternetAndreas Berl; Andreas Fischer; Hermann de Meer · 2010
KRAS Binders Hidden in NatureBergner, Andreas; Cockcroft, Xiaoling; Fischer, Gerhard; Gollner, Andreas; Hela, Wolfgang; Kousek, Roland; Mantoulidis, Andreas; Martin, Laetitia J.; Mayer, Moriz; Müllauer, Barbara; Siszler, Gabriella; Wolkerstorfer, Bernhard; Kessler, Dirk; McConnell, Darryl B. · Chemistry – A European Journal · 2019
Neue Konzepte für das Controlling der ZukunftMarc Fischer; Andreas Fischer · 2001
Network session 5. Theranostic implantsDeicke, Frank; Grätz, Hagen; Weder, Andreas; Heinig, Andreas; Holland, Hans-Jürgen; Fischer, Wolf-Joachim · Biomedical Engineering / Biomedizinische Technik
Facilitating Diagnostic Competences in Simulations in Higher Education A Framework and a Research AgendaHeitzmann, Nicole; Seidel, Tina; Hetmanek, Andreas; Wecker, Christof; Fischer, Martin R; Ufer, Stefan; Schmidmaier, Ralf; Neuhaus, Birgit; Siebeck, Matthias; Stürmer, Kathleen; Obersteiner, Andreas; Reiss, Kristina; Girwidz, Raimund; Fischer, Frank; Opitz, Ansgar · Frontline Learning Research · 2019
Structural Aspects of Trimethylsilylated Branched Group 14 CompoundsBaumgartner, Judith; Fischer, Roland; Fischer, Jelena; Wallner, Andreas; Marschner, Christoph; Flörke, Ulrich · Organometallics · 2005
Storage of Heat, Cold and ElectricityStamatiou, Anastasia; Ammann, Andreas; Abdon, Andreas; Fischer, Ludger J.; Gwerder, Damian; Worlitschek, Jörg · CHIMIA International Journal for Chemistry · 2015
Further Comments on Radar Range AccuracyKunadt, Andreas; Heinig, Andreas; Starke, Eric; Pfeifer, Gu; Cheriff, Chokri; Fischer, Wolf-Joachim · IEEE Transactions on Aerospace and Electronic Systems · 1966