搜索页_+M.+Kleen

在“Springer”中，命中：61条，耗时：0.1819141 秒

1.Akute normovol盲mische H盲modilution (ANH)Effekte der ANH auf die diastolische Funktion des linken Ventrikels

作者：O. Habler ; M. Kleen ; A. Podtschaske ; J. Hutter ; M. Tiede ; G. Kemming and K. Me脽mer

关键词：Schl眉sselw枚rter Akute normovol盲mische H盲modilution ; ANH ; Ventrikelfunktion ; Diastolische Relaxation ; Conductancetechnik ; Radioaktive Mikrosph盲rentechnik ; Schweine

刊名：Der Anaesthesist

出版时间：November2000

出版年：2000

2.Vermeidbarkeit von Fremdblut trotz extremen Blutverlustes

作者：A. Hagemann ; M. Welte ; O. Habler ; M. Kleen ; A. Kr枚del and K. Me脽mer

关键词：Schl眉sselw枚rter H盲modilution ; Allogene Transfusion ; Fremdblutsparende Ma脽nahmen ; An盲mie ; Hyperoxische Beatmung

刊名：Der Anaesthesist

出版时间：November1997

出版年：1997

3.Die r枚ntgenmorphologische Gestalt symptomatischer Verkalkungen bei Tendinosis calcarea der SchulterBestimmung der Intra- und Interobservervariabilit盲ten der Klassifikation nach G盲rtner

作者：M. Maier ; T. Maier-Bosse ; M. Eckermann ; E. Maier-Bosse ; C. U. Schulz ; M. Steinborn ; M. Kleen and A. St盲bler

关键词：Schl眉sselw枚rter Tendinosis calcarea ; Schulter ; Verkalkung ; Cohens κ ; Index

刊名：Der Unfallchirurg

出版时间：March2003

出版年：2003

4.Affine completeness of Kleene algebras

作者：M. Haviar ; K. Kaarli and M. Plo拧膷ica

关键词：Key words and phrases. Kleene algebra ; compatible function ; (local) polynomial function ; (locally) affine complete algebra.

刊名：Algebra Universalis

出版时间：September 1997

出版年：1997

5.Greedy-Like Algorithms in Modal Kleene Algebra

作者：Bernhard M枚ller ; Georg Struth

关键词：Idempotent semiring ; Kleene algebra ; image and preimage operation ; modal operators ; confluence ; Geach formula ; program development and analysis

刊名：Lecture Notes in Computer Science

出版时间：2004

出版年：2004

6.Kleene under a Demonic Star

作者：Jules Desharnais ; Bernhard M枚ller ; Fairouz Tchier

关键词：while loop ; demonic semantics ; relational abstraction ; verification ; Kleene algebra ; rule ; generalization

刊名：Lecture Notes in Computer Science

出版时间：2000

出版年：2000

7.Residuated Kleene Algebras

作者：Hajnal Andr茅ka (1) andreka@renyi.hu
Szabolcs Mikul谩s (2) szabolcs@dcs.bbk.ac.uk
Istv谩n N茅meti (1) nemeti@renyi.hu

刊名：Lecture Notes in Computer Science

出版时间：2012

出版年：2012

8.Kleene Modules

作者：Thorsten Ehm ; Bernhard M枚ller ; Georg Struth

刊名：Lecture Notes in Computer Science

出版时间：2004

出版年：2004

9.A 16-classification partition of formula set F(S) in revised Kleene system me="IEq1">mg align="top" src="/ft/en/135_1432-7643/s00500-004-0431-2etIEq1.gif" alt="$$\bar W$$" ali

作者：Cheng Han ; Guojun Wang and Wenyan Xu

关键词：R0 ; algebra ; Truth value domain ; Partition ; K ; formula ; Nilpotent minimums

刊名：Soft Computing - A Fusion of Foundations ; Methodologies and Applications

出版时间：January 2006

出版年：2006

10.Modal Kleene Algebra and Partial Correctness

作者：Bernhard M枚ller ; Georg Struth

刊名：Lecture Notes in Computer Science

出版时间：2004

出版年：2004

按检索点细分(61)

题名(2)

作者(7)

关键词(1)

文摘(15)

按出版年细分(61)

2000年及以前(13)

2001年(1)

2002年(1)

2003年(3)

2004年(5)

2005年(3)

2006年(6)

2007年(2)

2008年(7)

2009年(6)

2010年(1)

2011年(10)

2012年(3)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700