Titlebook: Kölner Papyri; P. Köln Michael Gronewald,Klaus Maresch Book 1991 Springer Fachmedien Wiesbaden 1991 Griechenland.Griechisch.Kölner Papyri.L

并排一起

书目名称Kölner Papyri影响因子(影响力)




书目名称Kölner Papyri影响因子(影响力)学科排名




书目名称Kölner Papyri网络公开度




书目名称Kölner Papyri网络公开度学科排名




书目名称Kölner Papyri被引频次




书目名称Kölner Papyri被引频次学科排名




书目名称Kölner Papyri年度引用




书目名称Kölner Papyri年度引用学科排名




书目名称Kölner Papyri读者反馈




书目名称Kölner Papyri读者反馈学科排名

热情的我

Michael Gronewald,Klaus Mareschs paper we propose a new type system for deadlock-free session-typed .-calculus processes, by integrating two separate lines of work. The first is the propositions-as-types approach by Caires and Pfenning, which provides a linear logic foundation for session types and guarantees deadlock-freedom by

investigate

绝种

Michael Gronewald,Klaus Mareschemporal logic of “repeating values” (LRV) featuring an operator which tests whether a data value in the current node is repeated in some descendant node..On the one hand, we show that the satisfiability of a restricted version of LRV on ranked data trees can be reduced to the coverability problem fo

frivolous

预定

disparage

Urkunden,sgegeben. Dazu wurden später zwei weitere Fragmente hinzugefunden (P. Palau Rib. inv. 172), die in Barcelona aufbewahrt werden und von S. Dans im Jahr 1982 ediert wurden. Aus Anlaß dieser Erweiterung soll hier eine Neuedition dieses Textes versucht werden.

Neonatal

共和国

978-3-531-09931-6Springer Fachmedien Wiesbaden 1991

Erythropoietin