„Inhabitation“
Suchergebnisse
1.000+ Treffer
-
Bounded Combinatory Logic
-
Defining multiple inhabitations of a cave environment using interdisciplinary archaeometry: the ‘Christmas Cave’ of the Wadi en-Nar/Nahal Qidron, West of the Dead Sea
-
Call-By-Value, Again!
-
The prehistoric Inhabitation of Corinth
-
The prehistoric Inhabitation of Corinth
-
Finite Combinatory Logic with Predicates
-
Canonical for Automated Theorem Proving in Lean
-
Meaningfulness and Genericity in a Subsuming Framework (Invited Talk)
-
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic
-
Pregrammars and Intersection Types
-
A Simpler Undecidability Proof for System F Inhabitation
-
A Unifying Framework for Type Inhabitation
-
Lower End of the Linial-Post Spectrum
-
The Complexity of Principal Inhabitation
-
Observability for Pair Pattern Calculi
-
Mixin Composition Synthesis Based on Intersection Types
-
The Trialism and Application of Human Settlement, Inhabitation and Travel Environment Studies – Applications in Valley, Plain, Hilly, and Arid Regions
-
The prehistoric Inhabitation of Corinth
-
A comparison study of the inhabitation effect of phosphate tailing and kaolin on the release of K in biomass straw
-
Mysterium inhabitationis trinitatis – M. J. Scheebens theologische Auseinandersetzung mit der Frage nach der Art und Weise der übernatürlichen Verbindung der göttlichen Personen mit dem Gerechten