Works matching DE "COMBINATORY logic"

Results: 71

Quantification over propositional formulas in probability logic: decidability issues.

Published in:

Algebra & Logic, 2011, v. 50, n. 4, p. 365, doi. 10.1007/s10469-011-9148-3

By:

Speranskii, S.

Publication type:

Article

Transfer theorems for extensions of the paraconsistent Nelson logic.

Published in:

Algebra & Logic, 2006, v. 45, n. 4, p. 232, doi. 10.1007/s10469-006-0021-8

By:

Odintsov, S.

Publication type:

Article

Opere lulliane.

Published in:

2014

By:

Ramis Barceló, Rafael

Publication type:

Book Review

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

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

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

LOGIC OF DETERMINATION OF OBJECTS:: THE MEANING OF VARIABLE IN QUANTIFICATION.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 6, p. 1041, doi. 10.1142/S0218213006003107

By:

DESCLÉS, JEAN-PIERRE;
PASCU, ANCA

Publication type:

Article

COORDINATION AND APPLICATIVE CATEGORIAL TYPE LOGIC.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 6, p. 1007, doi. 10.1142/S0218213006003089

By:

BISKRI, ISMAÏL;
DESCLÉS, JEAN-PIERRE;
BENSABER, BOUCIF AMAR

Publication type:

Article

APPLICATIVE AND COMBINATORY CATEGORIAL GRAMMAR AND SUBORDINATE CONSTRUCTIONS IN FRENCH.

Published in:

International Journal on Artificial Intelligence Tools, 2005, v. 14, n. 1/2, p. 125, doi. 10.1142/S0218213005002028

By:

BISKRI, ISMAÏL

Publication type:

Article

On Root Multiplicities of [formula].

Published in:

International Journal of Algebra & Computation, 2002, v. 12, n. 3, p. 477, doi. 10.1142/S0218196702000730

By:

Hontz, Jennifer;
Misra, Kailash C.;
Putcha, M.

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

Realisability in weak systems of explicit mathematics.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 6, p. 551, doi. 10.1002/malq.201020064

By:

Spescha, Daria;
Strahm, Thomas

Publication type:

Article

Extending constructive operational set theory by impredicative principles.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 3, p. 299, doi. 10.1002/malq.201010009

By:

Cantini, Andrea

Publication type:

Article

On some peculiar aspects of the constructive theory of point-free spaces.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 4, p. 375, doi. 10.1002/malq.200910037

By:

Curi, Giovanni

Publication type:

Article

Groupwise density cannot be much bigger than the unbounded number.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 4, p. 340, doi. 10.1002/malq.200710032

By:

Shelah, Saharon

Publication type:

Article

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

On The Imaginary Logic of N. A. VASILIEV.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 205, doi. 10.1002/malq.19880340304

By:

Puga, Leila Z.;
Da Costa, Newton C. A.

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

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

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

Efficient Creativity: Constraint-Guided Conceptual Combination.

Published in:

Cognitive Science, 2000, v. 24, n. 2, p. 299, doi. 10.1207/s15516709cog2402_4

By:

Costello, Fintan J.;
Keane, Mark T.

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

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

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

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

Abstraction in Fitch's Basic Logic.

Published in:

History & Philosophy of Logic, 2012, v. 33, n. 3, p. 215, doi. 10.1080/01445340.2011.648312

By:

Updike, EricThomas

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

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

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

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

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

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

Semigroup Actions on Intuitionistic Fuzzy Metric Spaces.

Published in:

Advances in Fuzzy Systems, 2009, p. 1, doi. 10.1155/2009/148193

By:

Yaoyao Lan;
Qingguo Li

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

UNDECIDABILITY OF EQUALITY IN THE FREE LOCALLY CARTESIAN CLOSED CATEGORY (EXTENDED VERSION).

Published in:

Logical Methods in Computer Science (LMCS), 2017, v. 13, n. 4, p. 1, doi. 10.23638/LMCS-13(4:22)2017

By:

CASTELLAN, SIMON;
CLAIRAMBAULT, PIERRE;
DYBJER, PETER

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

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

Teacher Creativity as Combinatory Play.

Published in:

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

By:

Xerri, Daniel

Publication type:

Article

Combinatorics of Experimental Design (Book).

Published in:

1989

By:

Iyer, Hari K.

Publication type:

Book Review

Ultrafilters.

Published in:

American Mathematical Monthly, 2008, v. 115, n. 1, p. 33

By:

Komjáth, Péter;
Totik, Vilmos

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

QUOTIENTS OF TANNAKIAN CATEGORIES.

Published in:

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

By:

Milne, J.S.

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

INTERPLAYS OF KNOWLEDGE AND NON-CONTINGENCY.

Published in:

Logic & Logical Philosophy, 2016, v. 25, n. 4, p. 521, doi. 10.12775/LLP.2016.015

By:

Costa-Leite, Alexandre

Publication type:

Article

INCONSISTENCY-ADAPTIVE MODAL LOGICS: On How to Cope with Modal Inconsistency.

Published in:

Logic & Logical Philosophy, 2010, v. 19, n. 1/2, p. 31, doi. 10.12775/LLP.2010.003

By:

Lycke, Hans

Publication type:

Article