Works matching DE "COMBINATORY logic"
Results: 71
Examination of Alternative Models of Job Satisfaction.
- Published in:
- Human Relations, 1978, v. 31, n. 1, p. 91, doi. 10.1177/001872677803100106
- By:
- 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:
- Publication type:
- Article
Teacher Creativity as Combinatory Play.
- Published in:
- Humanising Language Teaching, 2017, v. 19, n. 1, p. 1
- By:
- Publication type:
- Article
Opere lulliane.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
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:
- Publication type:
- Article
FIXED POINT THEOREMS FOR MULTIVALUED WEAK CONTRACTIONS.
- Published in:
- Studia Universitatis Babeş-Bolyai, Mathematica, 2009, n. 3, p. 33
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
QUOTIENTS OF TANNAKIAN CATEGORIES.
- Published in:
- Theory & Applications of Categories, 2007, v. 18, n. 1, p. 654
- By:
- Publication type:
- Article
NEUTROSOPHIC SETS IN UP-ALGEBRAS BY MEANS OF INTERVAL-VALUED FUZZY SETS.
- Published in:
- Journal of International Mathematical Virtual Institute, 2020, p. 93, doi. 10.7251/JIMVI2001093
- By:
- 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:
- 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:
- 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:
- Publication type:
- Article
Introduction.
- Published in:
- Semiotica, 1981, p. 1, doi. 10.1515/semi.1981.37.s1.1
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article