المؤلفون: Sippu, Seppo, Soisalon-Soininen, Eljas

المصدر: Journal of the ACM. Nov96, Vol. 43 Issue 6, p1046. 43p. 2 Diagrams.

مصطلحات موضوعية: *DATABASE management, COMBINATORY logic

المؤلفون: Dudenhefner, Andrej, Stahl, Christoph, Chaumet, Constantin, Laarmann, Felix, Rehof, Jakob

المساهمون: Andrej Dudenhefner and Christoph Stahl and Constantin Chaumet and Felix Laarmann and Jakob Rehof

مصطلحات موضوعية: combinatory logic, inhabitation, intersection types, program synthesis

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 303, 29th International Conference on Types for Proofs and Programs (TYPES 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2023.2

الاتاحة: https://doi.org/10.4230/LIPIcs.TYPES.2023.2
https://nbn-resolving.org/urn:nbn:de:0030-drops-204808
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2023.2

المؤلفون: Federico Flaviani, Walter Carballosa

المصدر: CLEI Electronic Journal, Vol 26, Iss 2 (2023)

مصطلحات موضوعية: Algorithm Proof Theory, Calculational Logic, Interactive Theorem Prover, Education, Propositional Logic, Boolean Algebras, Finite Difference, Combinatory Logic., Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://clei.org/cleiej/index.php/cleiej/article/view/599; https://doaj.org/toc/0717-5000

URL الوصول: https://doaj.org/article/50ee915ef92c4a739033cd3b279bdfd7

المؤلفون: Altenkirch, Thorsten, Kaposi, Ambrus, Šinkarovs, Artjoms, Végh, Tamás

المساهمون: Thorsten Altenkirch and Ambrus Kaposi and Artjoms Šinkarovs and Tamás Végh

مصطلحات موضوعية: Combinatory logic, lambda calculus, quotient inductive types, Cubical Agda

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.24

الاتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2023.24
https://nbn-resolving.org/urn:nbn:de:0030-drops-180086
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.24

المؤلفون: Mella, Piero¹ piero.mella@unipv.it

المصدر: Economia Aziendale Online. 2017, Vol. 8 Issue 4, p205-225. 21p.

مصطلحات موضوعية: *INFORMATION technology, COMBINATORY logic

المؤلفون: Giraudo, Samuele

المساهمون: Laboratoire d'Informatique Gaspard-Monge (LIGM), École nationale des ponts et chaussées (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel

المصدر: Formal Power Series and Algebraic Combinatorics ; https://hal.science/hal-03668992 ; Formal Power Series and Algebraic Combinatorics, 2022, Bangalore, France

مصطلحات موضوعية: Partial orders, Lattices, Combinatory logic, Rewrite systems, Treelike structures, Formal power series, [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]

جغرافية الموضوع: Bangalore, France

الاتاحة: https://hal.science/hal-03668992
https://hal.science/hal-03668992v1/document
https://hal.science/hal-03668992v1/file/FPSAC.pdf

المؤلفون: Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone

المساهمون: Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone

مصطلحات موضوعية: Quantitative Algebras, Lambda Calculus, Combinatory Logic, Metric Spaces

وصف الملف: ELETTRONICO

Relation: ispartofbook:7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel.; 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022.; volume:228; firstpage:1; lastpage:18; numberofpages:18; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; https://hdl.handle.net/11585/904334; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85133664445; https://drops.dagstuhl.de/opus/volltexte/2022/16285/

الاتاحة: https://hdl.handle.net/11585/904334
https://doi.org/10.4230/lipics.fscd.2022.4
https://drops.dagstuhl.de/opus/volltexte/2022/16285/

المؤلفون: Dal Lago, Ugo, Honsell, Furio, Lenisa, Marina, Pistone, Paolo

المساهمون: Ugo Dal Lago and Furio Honsell and Marina Lenisa and Paolo Pistone

مصطلحات موضوعية: Quantitative Algebras, Lambda Calculus, Combinatory Logic, Metric Spaces

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 228, 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.4

الاتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2022.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-162851
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.4

المؤلفون: Silvia Ghilezan, Simona Kašterović

المصدر: Frontiers in Computer Science, Vol 4 (2022)

مصطلحات موضوعية: computational systems, combinatory logic, equational theory, type theory, intersection types, soundness, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fcomp.2022.792570/full; https://doaj.org/toc/2624-9898

URL الوصول: https://doaj.org/article/993039e16e194a1382ace08587e6ad31

المؤلفون: Giraudo, Samuele

المساهمون: Laboratoire d'Informatique Gaspard-Monge (LIGM), École nationale des ponts et chaussées (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, ANR-20-CE40-0007,CARPLO,Combinatoire Algébrique, Renormalisation, Probabilités libres et Opérades(2020), ANR-21-CE48-0017,LambdaComb,une expédition cartographique entre le lambda-calcul, la logique, et la combinatoire(2021)

المصدر: ISSN: 0960-1295.

مصطلحات موضوعية: Partial orders, Lattices, Combinatory logic, Rewrite systems, Treelike structures, Formal, [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

الاتاحة: https://hal.science/hal-03669017
https://hal.science/hal-03669017v2/document
https://hal.science/hal-03669017v2/file/The%20combinator%20M%20and%20the%20Mockingbird%20lattice.pdf
https://doi.org/10.1017/S0960129522000354

المؤلفون: Goldman, Robert P, Moseley, Robert, Roehner, Nicholas, Cummins, Breschine, Vrana, Justin D, Clowers, Katie J, Bryce, Daniel, Beal, Jacob, DeHaven, Matthew, Nowak, Joshua, Higa, Trissha, Biggers, Vanessa, Lee, Peter, Hunt, Jeremy P., Mosqueda, Lorraine, Haase, Steven B., Weston, Mark, Zheng, George, Deckard, Anastasia, Gopaulakrishnan, Shweta, Stubbs, Joseph F., Gaffney, Niall I., Vaughn, Matthew W., Maheshri, Narendra, Mikhalev, Ekaterina, Bartley, Bryan, Markeloff, Richard, Mitchell, Tom, Nguyen, Tramy, Sumorok, Daniel, Walczak, Nicholas, Myers, Chris, Zundel, Zach, Hatch, Benjamin, Scholz, James, Colonna-Romano, John

مصطلحات موضوعية: replication, high-throughput experimentation, yeast, CRISPR, combinatory logic

وصف الملف: application/pdf

Relation: Goldman, Robert P., Robert Moseley, Nicholas Roehner, Breschine Cummins, Justin D. Vrana, Katie J. Clowers, Daniel Bryce et al. "Highly-automated, high-throughput replication of yeast-based logic circuit design assessments." Synthetic Biology 7, no. 1 (2022): ysac018.; https://scholarworks.montana.edu/xmlui/handle/1/17630

الاتاحة: https://scholarworks.montana.edu/xmlui/handle/1/17630

المؤلفون: Seldin, Jonathan P.

المصدر: The Journal of Symbolic Logic, 2000 Sep 01. 65(3), 1076-1114.

URL الوصول: https://www.jstor.org/stable/2586689

المؤلفون: Stephan, Paul, Brayton, Robert K.

المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Sep96, Vol. 15 Issue 9, p1167. 10p. 1 Diagram, 5 Charts.

مصطلحات موضوعية: *HEURISTIC programming, *ALGORITHMS, COMBINATORY logic

المؤلفون: Raja, N., Shyamasundar, R.K.

المصدر: ACM Transactions on Programming Languages & Systems. Nov97, Vol. 19 Issue 6, p899. 17p.

مصطلحات موضوعية: *PROGRAMMING languages, COMBINATORY logic

المؤلفون: Lévy, J.-C.S., Bergier, Hugolin

المصدر: EPJ Web of Conferences; 2020, Vol. 244, p1-10, 10p

مصطلحات موضوعية: COMPUTATIONAL complexity, SOURCE code, ABSTRACTION (Computer science), COMBINATORY logic, LANGUAGE & languages

المؤلفون: Seldin, Jonathan P.¹ jonathan.seldin@uleth.ca

المصدر: Theoretical Computer Science. Feb2017, Vol. 663, p34-58. 25p.

مصطلحات موضوعية: *COMBINATORY logic, *IRREDUCIBLE polynomials, *MATHEMATICAL simplification, *ABSTRACT algebra, *MATHEMATICS theorems

المؤلفون: Belhadj, Imen¹, Trigui, Moez¹ moez.trigui@gmail.com, Benamara, Abdelmajid¹

المصدر: International Journal of Advanced Manufacturing Technology. Dec2016, Vol. 87 Issue 9-12, p2829-2840. 12p.

مصطلحات موضوعية: *COMPUTER-aided design, *COMBINATORY logic, *PROBLEM solving, *MATRICES (Mathematics), *MATHEMATICAL models

المؤلفون: Rajeh, Hamdi¹ hamdiahmed919@gmail.com, Li, Zhiyong¹ zhiyong.li@hnu.edu.cn, Ayedh, Abdullah² aiuth@yahoo.com

المصدر: Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ). Aug2016, Vol. 41 Issue 8, p3071-3080. 10p.

مصطلحات موضوعية: *COMBINATORY logic, *GRAMMAR, *COMPUTER software

المؤلفون: Redmond, Brian F.¹ bredmond@GPRC.ab.ca

المصدر: Information & Computation. Jun2016, Vol. 248, p215-226. 12p.

مصطلحات موضوعية: *MATHEMATICAL bounds, *COMBINATORY logic, *COMPUTATIONAL complexity, *SET theory, *POLYNOMIAL time algorithms

المؤلفون: Peña, Lorenzo

المصدر: Disputatio. Philosophical Research Bulletin, 10(17), 207-230, (2021-06-30)

مصطلحات موضوعية: Quantifiers, Nonclassical Logic, Combinatory Logic, Functions, Truth-Values

Relation: https://zenodo.org/communities/disputatio; https://doi.org/10.5281/zenodo.5168811; https://doi.org/10.5281/zenodo.5168812; oai:zenodo.org:5168812

الاتاحة: https://doi.org/10.5281/zenodo.5168812