Titlebook: Automata, Languages and Programming; 16th International C Giorgio Ausiello,Mariangiola Dezani-Ciancaglini,Si Conference proceedings 1989 Sp

Ensign

书目名称Automata, Languages and Programming影响因子(影响力)




书目名称Automata, Languages and Programming影响因子(影响力)学科排名




书目名称Automata, Languages and Programming网络公开度




书目名称Automata, Languages and Programming网络公开度学科排名




书目名称Automata, Languages and Programming被引频次




书目名称Automata, Languages and Programming被引频次学科排名




书目名称Automata, Languages and Programming年度引用




书目名称Automata, Languages and Programming年度引用学科排名




书目名称Automata, Languages and Programming读者反馈




书目名称Automata, Languages and Programming读者反馈学科排名

brassy

尾巴

antedate

Time lower bounds for CREW-PRAM computation of monotone functions,.), where . is the size of the largest prime implicant. It is also shown that the bound is existentially tight by constructing a family of monotone functions that can be computed in .=.(log .+(log .)/.), even by an EREW-PRAM. The same results hold if . is replaced by ., the size of the largest prime

RLS898

Subduing self-application, the following shape: . Two methods are described to derive the combinator representing f by means of a generalized morphism, avoiding the use of fixed point combinators and preserving strong normalizability, i.e. the same feature warranted by most type disciplines..Can a given combinator s represen

最后一个

柱廊

Polymorphic rewriting conserves algebraic strong normalization and confluence,dding the symbols of the algebraic signature to the polymorphic lambda calculus, as higher-order constants..We show that if a many-sorted algebraic rewrite system . is strongly normalizing (terminating, noetherian), then . + β + η + type-β + type-η rewriting of mixed terms is also strongly normalizi

刺耳

Hypopnea

About primitive recursive algorithms,uages [3,11]. One approach relies on representation theorems [3,8,10], which show that a large class of general recursive functions can be encoded in a language where general recursion is replaced by primitive recursion with functions, functionals,… as parameters [13]..These results are however pure

特别容易碎