Titlebook: Kölner Papyri; P. Köln,Bärbel Kramer,Michael Erler,Robert Hübner Book 1980 Springer Fachmedien Wiesbaden 1980 Apollon.Augustus.Geld.Griech

Blood-Vessels

Gestellungsbürgschaften, und zwar das obere Fragment a an der Unterkante, das untere Fragment b an der Oberkante; dadurch fehlen zwischen beiden Stücken mehrere Zeilen. Auf Fr. a sind Teile des oberen und des linken Freirandes erhalten, die beide etwa 2 cm in der Höhe bzw. der Breite messen; auf Fr. b ist nur der linke

Fecundity

Anzeige eines Viehdiebstahlserechte Faltspuren und zusätzlich durch Abblättern der Oberfläche gelitten, doch ist der Text fast vollständig rekonstruierbar. Nur die oberen 10 cm des Blattes sind beschrieben, also weniger als die Hälfte. Zwei Hände lassen sich unterscheiden; die erste, aber wohl spätere Hand (Z. 1–7) hat sehr fl

小臼

esearch problem. In this paper we consider WA with a set semantics, meaning that the semantics is given by the set of weights of accepting runs. We focus on multi-sequential WA that are defined as finite unions of sequential WA. The problem we address is to minimize the size of this union. We call t

漂泊

Bärbel Kramer,Michael Erler,Dieter Hagedorn,Robert Hübneremporal 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

佛刊

Oscillate

Bärbel Kramer,Michael Erler,Dieter Hagedorn,Robert Hübnerrouwer as an axiom to recover certain classically valid theorems in a constructive setting. It is a form of induction on non-wellfounded trees satisfying certain properties. Bar recursion, introduced later by Spector, is the corresponding function definition principle..We give a generalization of th

Critical

Bärbel Kramer,Michael Erler,Dieter Hagedorn,Robert Hübnerrouwer as an axiom to recover certain classically valid theorems in a constructive setting. It is a form of induction on non-wellfounded trees satisfying certain properties. Bar recursion, introduced later by Spector, is the corresponding function definition principle..We give a generalization of th

情感

Bärbel Kramer,Michael Erler,Dieter Hagedorn,Robert Hübnereled as coalgebras with a finitely generated carrier for an endofunctor on a locally finitely presentable category. Their behaviour gives rise to a new fixpoint of the coalgebraic type functor called . (LFF). We prove that if the given endofunctor preserves monomorphisms then the LFF always exists a

Admonish

Femine