<span class="searchmatch">linear</span> <span class="searchmatch">logics</span> plural of <span class="searchmatch">linear</span> <span class="searchmatch">logic</span> relocalising...
English Wikipedia has an article on: <span class="searchmatch">linear</span> <span class="searchmatch">logic</span> Wikipedia <span class="searchmatch">linear</span> <span class="searchmatch">logic</span> (plural <span class="searchmatch">linear</span> <span class="searchmatch">logics</span>) (<span class="searchmatch">logic</span>) A <span class="searchmatch">logic</span> in which two structural rules are missing...
relocalising present participle and gerund of relocalise relocalising (not comparable) That relocalises <span class="searchmatch">linear</span> <span class="searchmatch">logics</span>...
functional <span class="searchmatch">linear</span> group <span class="searchmatch">linear</span> independence linearise <span class="searchmatch">linearism</span> linearithmic <span class="searchmatch">linearity</span> <span class="searchmatch">linearization</span> <span class="searchmatch">linearize</span> <span class="searchmatch">linear</span> <span class="searchmatch">logic</span> <span class="searchmatch">linearly</span> <span class="searchmatch">linear</span> map <span class="searchmatch">linear</span> meter...
See also: Appendix:Variations of "et" A flipped, upside-down ampersand ⟨&⟩. ⅋ (<span class="searchmatch">logic</span>) In <span class="searchmatch">linear</span> <span class="searchmatch">logic</span>, used to denote an intensional disjunction....
on: <span class="searchmatch">logic</span> Wikipedia <span class="searchmatch">logic</span> (countable and uncountable, plural <span class="searchmatch">logics</span>) (uncountable) A method of human thought that involves thinking in a <span class="searchmatch">linear</span>, step-by-step...
pseudomonoid 2016, Lawrence Dunn, Jamie Vicary, “Surface proofs for <span class="searchmatch">linear</span> <span class="searchmatch">logic</span>”, in arXiv[1]: The technical basis is a coherence theorem for Frobenius...
hagiographic) Of or pertaining to hagiography. 1987, Jean-Yves Girard, “<span class="searchmatch">Linear</span> <span class="searchmatch">Logic</span>”, in Theoretical Computer Science, 50, p.15: But the stakes are clearly...
an article on: LTL (disambiguation) Wikipedia LTL Initialism of <span class="searchmatch">linear</span> temporal <span class="searchmatch">logic</span>. LTL (not comparable) (logistics) Initialism of less than truckload...
programování ― functional programming logické programování ― <span class="searchmatch">logic</span> programming lineární programování ― <span class="searchmatch">linear</span> programming matematické programování ― mathematical...