Works matching DE "COMBINATORY logic"

Results: 71

Combinatory rules and chunk structure in male Mueller's gibbon songs.

Published in:

Interaction Studies, 2017, v. 18, n. 1, p. 1, doi. 10.1075/is.18.1.01ino

By:

Yoichi Inoue;
Sinun, Waidi;
Shigeto Yosida;
Kazuo Okanoya

Publication type:

Article

Current Trends in Substructural Logics.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 609, doi. 10.1007/s10992-015-9346-x

By:

Bimbó, Katalin

Publication type:

Article

Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms.

Published in:

Journal of Philosophical Logic, 2005, v. 34, n. 5/6, p. 607, doi. 10.1007/s10992-005-2831-x

By:

Bimbó, Katalin

Publication type:

Article

THEORETICAL PEARLS : Flattening combinators: surviving without parentheses.

Published in:

Journal of Functional Programming, 2003, v. 13, n. 4, p. 815, doi. 10.1017/s0956796802004483

By:

CHRIS OKASAKI

Publication type:

Article

A solution to Curry and Hindley’s problem on combinatory strong reduction.

Published in:

Archive for Mathematical Logic, 2009, v. 48, n. 2, p. 159, doi. 10.1007/s00153-008-0109-z

By:

Minari, Pierluigi

Publication type:

Article

Diagonal fixed points in algebraic recursion theory.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 8, p. 973, doi. 10.1007/s00153-005-0307-x

By:

Zashev, Jordan

Publication type:

Article

Analytic combinatory calculi and the elimination of transitivity.

Published in:

Archive for Mathematical Logic, 2004, v. 43, n. 2, p. 159, doi. 10.1007/s00153-003-0203-1

By:

Minari, Pierluigi

Publication type:

Article

Polytime, combinatory logic and positive safe induction.

Published in:

Archive for Mathematical Logic, 2002, v. 41, n. 2, p. 169, doi. 10.1007/s001530100105

By:

Cantini, Andrea

Publication type:

Article

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.

Published in:

Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 327, doi. 10.1007/s001530050102

By:

Dekkers, Wil;
Bunder, Martin;
Barendregt, Henk

Publication type:

Article

Combinatorial characterization of ...-indescribability in ...

Published in:

Archive for Mathematical Logic, 1998, v. 37, n. 4, p. 261, doi. 10.1007/s001530050097

By:

Abe, Yoshihiro

Publication type:

Article

On the likelihood of normalization in combinatory logic.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 7, p. 2251, doi. 10.1093/logcom/exx005

By:

BENDKOWSKI, MACIEJ;
GRYGIEL, KATARZYNA;
ZAIONC, MAREK

Publication type:

Article

Haskell before Haskell: an alternative lesson in practical logics of the ENIAC.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 4, p. 1012, doi. 10.1093/logcom/exs072

By:

DE MOL, LIESBETH;
CARLÉ, MARTIN;
BULLYNCK, MAARTEN

Publication type:

Article

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 649

By:

BAAZ, MATTHIAS;
PREINING, NORBERT

Publication type:

Article

On the Hierarchy of Intuitionistic Bounded Arithmetic.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 625

By:

MONIRI, MORTEZA

Publication type:

Article

A Note on Bisimulation Qantifiers and Fixed Points over Transitive Frames.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 601

By:

D'AGOSTINO, GIOVANNA;
LENZI, GIACOMO

Publication type:

Article

Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 509

By:

RYBAKOV, V.

Publication type:

Article

A Note on Absolutely Unorderable Combinatory Algebras.

Published in:

Journal of Logic & Computation, 2003, v. 13, n. 4, p. 481, doi. 10.1093/logcom/13.4.481

By:

Lusin, Stefania;
Salibra, Antonino

Publication type:

Article

Kripke Resource Models of a Dependently‐typed, Bunched λ‐calculus.

Published in:

Journal of Logic & Computation, 2002, v. 12, n. 6, p. 1061, doi. 10.1093/logcom/12.6.1061

By:

Ishtiaq, Samin;
Pym, David J.

Publication type:

Article

Tractable and intractable instances of combination problems for unification and disunification.

Published in:

Journal of Logic & Computation, 2000, v. 10, n. 1, doi. 10.1093/logcom/10.1.105

By:

Schulz, KU;
Schulz, Klaus U.

Publication type:

Article

FIXED POINT THEOREMS FOR MULTIVALUED WEAK CONTRACTIONS.

Published in:

Studia Universitatis Babeş-Bolyai, Mathematica, 2009, n. 3, p. 33

By:

Filip, Alexandru-Darius;
Tünde^Petru, Petra

Publication type:

Article

FIXED POINT THEORY FOR MULTIVALUED GENERALIZED CONTRACTION ON A SET WITH TWO b-METRICS.

Published in:

Studia Universitatis Babeş-Bolyai, Mathematica, 2009, n. 3, p. 3

By:

Boriceanu, Monica

Publication type:

Article

LEVEL GENERATING TREES AND PROPER RIORDAN ARRAYS.

Published in:

Applicable Analysis & Discrete Mathematics, 2008, v. 2, n. 1, p. 69, doi. 10.2298/AADM0801069B

By:

Baccherini, D.;
Merlini, D.;
Sprugnoli, R.

Publication type:

Article

Subassembly generation algorithm from a CAD model.

Published in:

International Journal of Advanced Manufacturing Technology, 2016, v. 87, n. 9-12, p. 2829, doi. 10.1007/s00170-016-8637-x

By:

Belhadj, Imen;
Trigui, Moez;
Benamara, Abdelmajid

Publication type:

Article

THEORIZING THE MULTIPLICITY OF DIGITAL PHENOMENA: THE ECOLOGY OF CONFIGURATIONS, CAUSAL RECIPES, AND GUIDELINES FOR APPLYING QCA.

Published in:

MIS Quarterly, 2020, v. 44, n. 4, p. 1493, doi. 10.25300/MISQ/2020/13879

By:

YoungKi Park;
Fiss, Peer C.;
El Sawy, Omar A.

Publication type:

Article

SOLVING TEXTUAL ENTAILMENT WITH THE THEOREM PROVER FOR NATURAL LANGUAGE.

Published in:

Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 114

By:

Abzianidze, Lasha

Publication type:

Article

Examination of Alternative Models of Job Satisfaction.

Published in:

Human Relations, 1978, v. 31, n. 1, p. 91, doi. 10.1177/001872677803100106

By:

Aldag, Ramon J.;
Brief, Arthur P.

Publication type:

Article

Combinatory Finite Element and Artificial Neural Network Model for Predicting Performance of Thermoelectric Generator.

Published in:

Energies (19961073), 2018, v. 11, n. 9, p. 2216, doi. 10.3390/en11092216

By:

Kishore, Ravi Anant;
Mahajan, Roop L.;
Priya, Shashank

Publication type:

Article

TERMINATION OF ABSTRACT REDUCTION SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 57, doi. 10.1142/S0129054109006450

By:

Dawson, Jeremy E.;
Goré, Rajeev

Publication type:

Article

Combinatory strategy for characterizing and understanding the ethanol synthesis pathway in cyanobacteria cell factories.

Published in:

Biotechnology for Biofuels, 2015, v. 8, p. 1, doi. 10.1186/s13068-015-0367-z

By:

Guodong Luan;
Yunjing Qi;
Min Wang;
Zhimin Li;
Yangkai Duan;
Xiaoming Tan;
Xuefeng Lu

Publication type:

Article

Consumption and digital commodities in the everyday.

Published in:

Cultural Studies, 2004, v. 18, n. 2/3, p. 409, doi. 10.1080/0950238042000201581

By:

Poster, Mark

Publication type:

Article

QUOTIENTS OF TANNAKIAN CATEGORIES.

Published in:

Theory & Applications of Categories, 2007, v. 18, n. 1, p. 654

By:

Milne, J.S.

Publication type:

Article

Identification of electrocardiogram signals using internet of things based on combinatory classification.

Published in:

International Journal of Modeling, Simulation & Scientific Computing, 2017, v. 8, n. 3, p. -1, doi. 10.1142/S1793962317500350

By:

Masouleh, Marzieh Faridi;
Kazemi, Mohammad Ali Afshar;
Alborzi, Mahmood;
Eshlaghy, Abbas Toloie

Publication type:

Article

A Novel Approach by Injecting CCG Supertags into an Arabic-English Factored Translation Machine.

Published in:

Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ), 2016, v. 41, n. 8, p. 3071, doi. 10.1007/s13369-016-2075-9

By:

Rajeh, Hamdi;
Li, Zhiyong;
Ayedh, Abdullah

Publication type:

Article

ON A PERIODIC PART OF PSEUDO-BCI-ALGEBRAS.

Published in:

Discussiones Mathematicae: General Algebra & Applications, 2015, v. 35, n. 2, p. 139, doi. 10.7151/dmgaa.1237

By:

DYMEK, GRZEGORZ

Publication type:

Article

Introduction.

Published in:

Semiotica, 1981, p. 1, doi. 10.1515/semi.1981.37.s1.1

By:

Gora, Thomas

Publication type:

Article

Formal Analysis of Geomancy.

Published in:

Semiotica, 1970, v. 2, n. 3, p. 195, doi. 10.1515/semi.1970.2.3.195

By:

Jaulin, Robert

Publication type:

Article

The threshold for d-collapsibility in random complexes*.

Published in:

Random Structures & Algorithms, 2016, v. 48, n. 2, p. 260, doi. 10.1002/rsa.20585

By:

Aronshtam, L.;
Linial, N.

Publication type:

Article

Correction to Algorithm AS 271: General Optimal Combinatoric Classification.

Published in:: Journal of the Royal Statistical Society: Series C (Applied Statistics), 1992, v. 41, n. 3, p. 634, doi. 10.2307/2348102
Publication type:: Article

Teacher Creativity as Combinatory Play.

Published in:

Humanising Language Teaching, 2017, v. 19, n. 1, p. 1

By:

Xerri, Daniel

Publication type:

Article

HIGHER-ORDER ILLATIVE COMBINATORY LOGIC.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 837, doi. 10.2178/jsl.7803080

By:

CZAJKA, LUKASZ

Publication type:

Article

ON THE COMPLEXITY OF THE STANDARD TRANSLATION OF LAMBDA CALCULUS INTO COMBINATORY LOGIC.

Published in:

Reports on Mathematical Logic, 2018, n. 53, p. 19, doi. 10.4467/20842589rm.18.002.8835

By:

LACHOWSKI, Łukasz

Publication type:

Article

The Holonomic Ansatz II. Automatic Discovery(!) And Proof(!!) of Holonomic Determinant Evaluations.

Published in:

Annals of Combinatorics, 2007, v. 11, n. 2, p. 241, doi. 10.1007/s00026-007-0317-y

By:

Zeilberger, Doron

Publication type:

Article

Sistemi Combinatori L'Ordine nel Comportamento Collettivo.

Published in:

Economia Aziendale Online, 2017, v. 8, n. 4, p. 205, doi. 10.13132/2038-5498/8.4.205-225

By:

Mella, Piero

Publication type:

Article

Enterprises and entrepreneurial dynamics The Combinatory Systems View.

Published in:

Economia Aziendale Online, 2014, v. 5, n. 2, p. 73, doi. 10.4485/ea203-5498.005.0009

By:

Mella, Piero

Publication type:

Article

Realizability in ordered combinatory algebras with adjunction.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 3, p. 430, doi. 10.1017/S0960129518000075

By:

SANTOS, WALTER FERRER;
GUILLERMO, MAURICIO;
MALHERBE, OCTAVIO

Publication type:

Article

Estimation of Truck Trips on Large-Scale Irrigation Project: A Combinatory Input-Output Commodity-Based Approach.

Published in:

Journal of Engineering, Project & Production Management, 2015, v. 5, n. 1, p. 36

By:

Ackchai Sirikijpanichkul;
Sarintorn Winyoopadit;
Chavalek Vanichavetin

Publication type:

Article

Combinatorics of Experimental Design (Book).

Published in:

1989

By:

Iyer, Hari K.

Publication type:

Book Review

Errata.

Published in:: 1997
Publication type:: Erratum

Combinatorics for Small Ideals on P<sub>k</sub>λ.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 4, p. 541, doi. 10.1002/malq.19970430409

By:

Abe, Yoshihiro

Publication type:

Article

Complexity Versus the Church-Rosser Property and Confluence.

Published in:

Mathematical Logic Quarterly, 1991, v. 37, n. 5/6, p. 85, doi. 10.1002/malq.19910370504

By:

Luckhardt, H.

Publication type:

Article