Reinhard Rieger Award

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reinhard Hiller.indd

Following the publication of the first draft of the human genome sequence in 2001, interest into the functional analysis of the information stored in our genetic make-up has grown tremendously. Efforts to investigate the interplay of gene-products on a system-wide scale have gained a lot of support by the technological advancements made available by DNA microarray technology which has become a ...

متن کامل

Reinhard Diestel

dual, 88–89 graph, 3, 67, 76, 238 acyclic, 12, 60 adjacency matrix, 24 adjacent, 3 Ahuja, R.K., 145 algebraic colouring theory, 121 flow theory, 128–143 graph theory, ix, 20–25, 28 planarity criteria, 85–86 algorithmic graph theory, 145, 276–277, 281–282 almost, 238, 247–248 Alon, N., 106, 121–122, 249 alternating path, 29 walk, 52 antichain, 40, 41, 42, 252 Appel, K., 121 arboricity, 61, 99, 1...

متن کامل

Reinhard Diestel Graph Theory 4

The cross-references in the text and in the margins are active links. When you see “Lemma 3.1”, for example, click on the “3.1” to be taken to that lemma. Feel free to print pages from this file for your personal use. If you intend to teach from this book, you may get your Department to purchase an additional “course notes” licence for this file. This will allow you to distribute handouts in cl...

متن کامل

Generic Completion ( Version 1 ) Reinhard

Abstract rewrite systems define a reduction relation by a set of rules. An important aspect of such rewrite relations is their behavior in an arbitrary context associated with the underlying congruence relation. This behavior is described by “compatibility properties”: a rewrite system is compatible if applying the same context to two objects preserves the rewrite relation among them. We presen...

متن کامل

Type - Logical Semantics ∗ Reinhard Muskens

Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between gra...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Zoomorphology

سال: 2020

ISSN: 0720-213X,1432-234X

DOI: 10.1007/s00435-020-00496-z