نتایج جستجو برای: sasanian mints
تعداد نتایج: 473 فیلتر نتایج به سال:
A formalization of the strong normalization proof for system F in LEGO p. 13 Partial intersection type assignment in applicative term rewriting systems p. 29 Extracting constructive content from classical logic via control-like reductions p. 45 Combining first and higher order rewrite systems with type assignment systems p. 60 A term calculus for intuitionistic linear logic p. 75 Program extrac...
After decline and fall of the Parthian dynasty by Ardeshir Babakan in early third century, the new dynasty, called Sasanian, rose. The quantity of the remained of the Sasanian dynasty in compare with the Parthian shows that construction activities such as building bridges, dams, castles and cities are considerably developed. Establishment of many Persian ancient cities is attributed to the firs...
We stratify intuitionistic first-order logic over (∀,→) into fragments determined by the alternation of positive and negative occurrences of quantifiers (Mints hierarchy). We study the decidability and complexity of these fragments. We prove that even the ∆2 level is undecidable and that Σ1 is Expspace-complete. We also prove that the arity-bounded fragment of Σ1 is complete for co-Nexptime.
BACKGROUND Simulation in healthcare has proved to be a useful method in improving skills and increasing the safety of clinical operations. The debriefing session, after the simulated scenario, is the core of the simulation, since it allows participants to integrate the experience with the theoretical frameworks and the procedural guidelines. There is consistent evidence for the relevance of non...
This overview on Sasanian stuccoes includes the Parthian sites hinting at a transmission of iconographies (i.e., Qaleh-I Zohak and Yazdgird), also with uncertain chronological attribution. On one hand, it underlines lack within Iranian plateau, other how majority was found in western territories. Noteworthy is examination illustrations some archaeological discoveries, i.e., Barz Qavela, Qela Go...
Abstract This article maps the mainly lost Sasanian historiographical literature through Arabic translations of Middle Persian works and information preserved in early sources. Although only two texts have been original Persian, sources reveal a sizeable corpus translation.
A. Lipman,1 R. G. Mints,1 R. Kleiner,2 D. Koelle,2 and E. Goldobin2,* 1The Raymond and Beverly Sackler School of Physics and Astronomy, Tel Aviv University, Tel Aviv 69978, Israel 2Physikalisches Institut and Center for Collective Quantum Phenomena in LISA+, Universität Tübingen, Auf der Morgenstelle 14, D-72076 Tübingen, Germany (Received 29 September 2014; revised manuscript received 22 Octob...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید