## Found 313 Documents (Results 1–100)

Full Text:

MSC:  90Bxx
Full Text:

Full Text:

MSC:  26A33
Full Text:

Full Text:

### The plethory of operations in complex topological $$K$$-theory.(English)Zbl 1475.55005

MSC:  55N15 55S25 19L99
Full Text:

### Reliability analysis of cutting system of sugar industry using intuitionistic fuzzy Lambda-Tau approach.(English)Zbl 1469.90064

Kumar, Amit (ed.) et al., The handbook of reliability, maintenance, and system safety through mathematical modeling. Amsterdam: Elsevier/Academic Press. 65-77 (2021).
MSC:  90B25
Full Text:

### Adams operations and symmetries of representation categories.(English)Zbl 1469.18021

MSC:  18M05 19A22 20C15
Full Text:

### Higher-order pattern generalization modulo equational theories.(English)Zbl 1495.03013

MSC:  03B35 03B40 68Q42
Full Text:

Full Text:

Full Text:

Full Text:

### Superposition with lambdas.(English)Zbl 1471.03014

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 55-73 (2019).
Full Text:

Full Text:

### Mechanized metatheory revisited.(English)Zbl 1468.68303

MSC:  68V15 03B35
Full Text:

### Sufficient conditions for triangle-free graphs to be super-$$\lambda'$$.(English)Zbl 1463.05307

MSC:  05C40 05C76
Full Text:

### Machine-checked proof of the Church-Rosser theorem for the lambda calculus using the Barendregt variable convention in constructive type theory.(English)Zbl 1433.68542

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 79-95 (2018).
Full Text:

Full Text:

Full Text:

### Mechanizing proofs with logical relations – Kripke-style.(English)Zbl 1400.68193

MSC:  68T15 03B35 03B40
Full Text:

### $$\Lambda$$-nonlocality of multipartite states and the related nonlocality inequalities.(English)Zbl 1391.81041

MSC:  81P40 81P15 81P05
Full Text:

### Relating system F and $$\lambda 2$$: a case study in Coq, Abella and Beluga.(English)Zbl 1434.03030

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 21, 19 p. (2017).
MSC:  03B35 03B38 03B40
Full Text:

### Type theory and formalisation of mathematics.(English)Zbl 1489.68395

Weil, Pascal (ed.), Computer science – theory and applications. 12th international computer science symposium in Russia, CSR 2017, Kazan, Russia, June 8–12, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10304, 1-6 (2017).
Full Text:

Full Text:

### Quasi-$$\lambda$$-distance-balanced graphs.(English)Zbl 1365.05066

MSC:  05C12 05C76
Full Text:

Full Text:

### qPCF: a language for quantum circuit computations.(English)Zbl 1462.81061

Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 455-469 (2017).
Full Text:

Full Text:

### Canonical HybridLF: extending Hybrid with dependent types.(English)Zbl 1394.68351

Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 125-142 (2016).
MSC:  68T15 03B35 03B40
Full Text:

### On quantum lambda calculi: a foundational perspective.(English)Zbl 1364.68208

MSC:  68Q05 03B40 81P15 81P68
Full Text:

Full Text:

### A divertimento on MonadPlus and nondeterminism.(English)Zbl 1355.68041

MSC:  68N18 18C20 20M50
Full Text:

### Proof generalization in $$\mathrm {LK}$$ by second order unifier minimization.(English)Zbl 1402.03077

MSC:  03F07 03F05 03F20 03B40 03B15 03B35
Full Text:

### Higher homotopies in a hierarchy of univalent universes.(English)Zbl 1354.03100

MSC:  03G30 03B15 03B35 03B40 55U40 68T15
Full Text:

### Program extraction in exact real arithmetic.(English)Zbl 1362.03026

MSC:  03B70 03B35 03B40 68N18 68T15
Full Text:

Full Text:

### Automath type inclusion in Barendregt’s cube.(English)Zbl 1466.68078

Beklemishev, Lev D. (ed.) et al., Computer science – theory and applications. 10th international computer science symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9139, 262-282 (2015).
Full Text:

### A short note on type-inhabitation: formula-trees vs. game semantics.(English)Zbl 1332.03003

MSC:  03B40 03B35
Full Text:

### Computation, proof, machine. Mathematics enters a new age. Translated from the French by Pierre Guillot and Marion Roman.(English)Zbl 1318.01002

Cambridge: Cambridge University Press (ISBN 978-0-521-13377-7/pbk; 978-0-521-11801-9/hbk). viii, 152 p. (2015).

### Automation of higher-order logic.(English)Zbl 1404.03005

Gabbay, Dov M. (ed.) et al., Computational logic. Amsterdam: Elsevier/North Holland (ISBN 978-0-444-51624-4/hbk). Handbook of the History of Logic 9, 215-254 (2014).
MSC:  03-03 03B15 03B35 03B40 03B70 68T15 01A60 01A61

### Fuzzy system reliability analysis based on level $$({\lambda},1)$$ interval-valued fuzzy numbers.(English)Zbl 1341.90031

MSC:  90B25 90C70
Full Text:

### Towards a notion of lambda monoid.(English)Zbl 1338.03016

Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 59-77, electronic only (2014).
Full Text:

### Type theories from Barendregt’s cube for theorem provers.(English)Zbl 1344.03015

Pereira, Luiz Carlos (ed.) et al., Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Dordrecht: Springer (ISBN 978-94-007-7547-3/hbk; 978-94-007-7548-0/ebook). Trends in Logic – Studia Logica Library 39, 129-144 (2014).
MSC:  03B35 03B40
Full Text:

Full Text:

### Fuzzy longest path problem for project scheduling.(English)Zbl 1299.90141

MSC:  90B35 90C35 90C70
Full Text:

### Measurements in proof nets as higher-order quantum circuits.(English)Zbl 1405.68095

Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 371-391 (2014).
Full Text:

Full Text:

### Application of the weakest $$t$$-norm ($$T_\omega$$) based vague lambda-tau methodology for reliability analysis of gas turbine system.(English)Zbl 1303.90041

MSC:  90B25 68T37
Full Text:

### Viewing $${\lambda}$$-terms through maps.(English)Zbl 1359.03016

MSC:  03B40 03B35
Full Text:

### N. G. de Bruijn’s contribution to the formalization of mathematics.(English)Zbl 1359.03003

MSC:  03-03 03B35 03B40 01A70 68T15
Full Text:

MSC:  90B35
Full Text:

### The decay parameter and invariant measures for Markovian bulk-arrival queues with control at idle time.(English)Zbl 1270.60102

MSC:  60K25 60J27 90B22
Full Text:

### Nominal unification from a higher-order perspective.(English)Zbl 1352.03017

MSC:  03B35 03B40 68Q42
Full Text:

### Polymorphic logic.(English)Zbl 1315.03043

Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 51-65 (2012).
MSC:  03B70 03B15 03B35 03B40

### Symmetric powers of the $$p+1$$-dimensional indecomposable module of a cyclic $$p$$-group and the $$\lambda$$-structure of its Green ring.(English)Zbl 1268.20003

MSC:  20C05 19A22 20C20
Full Text:

### A theory independent Curry-De Bruijn-Howard correspondence.(English)Zbl 1367.03029

Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9–13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 13-15 (2012).
MSC:  03B40 03B35 03F03
Full Text:

### Computing in Cantor’s paradise with $$\lambda_{\mathrm{ZFC}}$$.(English)Zbl 1354.03010

Schrijvers, Tom (ed.) et al., Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23–25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29821-9/pbk). Lecture Notes in Computer Science 7294, 290-306 (2012).
MSC:  03B40 03B35 03E30 68T15
Full Text:

Full Text:

### The metamorphoses of the calculus. An amazing history of mathematics. Reprint of the 2007 edition. (Les métamorphoses du calcul. Une étonnante histoire de mathématiques.)(French)Zbl 1360.01012

Poche. Paris: Éditions Le Pommier (ISBN 978-2-7465-0561-2/pbk). 224 p. (2011).

Full Text:

### Proof-irrelevant model of CC with predicative induction and judgmental equality.(English)Zbl 1237.03008

MSC:  03B15 03B35 03B40 03E30
Full Text:

### $$\lambda$$-ring structure of the Green ring of a cyclic $$p$$-group.(English)Zbl 1242.20015

MSC:  20C20 19A22 20C05
Full Text:

Full Text:

### Relations versus functions at the foundations of logic: type-theoretic considerations.(English)Zbl 1234.03007

MSC:  03B30 03B15 03B35 03B40
Full Text:

### Proofs and algorithms. An introduction to logic and computability.(English)Zbl 1230.03001

Undergraduate Topics in Computer Science. New York, NY: Springer (ISBN 978-0-85729-120-2/pbk; 978-0-85729-121-9/ebook). xii, 155 p. (2011).
Full Text:

### An efficient nominal unification algorithm.(English)Zbl 1236.68138

Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 209-226, electronic only (2010).
MSC:  68Q42 03B40 03B35
Full Text:

### Proofs and algorithms. An introduction to logic and computability. (Les démonstrations et les algorithmes. Introduction à la logique et à la calculabilité.)(French)Zbl 1230.03002

Palaiseau: Les Éditions de l’École Polytechnique (ISBN 978-2-7302-1569-5). 195 p. (2010).

### The optimal fixed point combinator.(English)Zbl 1291.68332

Kaufmann, Matt (ed.) et al., Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11–14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14051-8/pbk). Lecture Notes in Computer Science 6172, 195-210 (2010).
MSC:  68T15 03B35 03B40
Full Text:

### On arithmetic computations with hereditarily finite sets, functions and types.(English)Zbl 1286.68063

Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 367-381 (2010).
MSC:  68N18
Full Text:

### Lambda-rings.(English)Zbl 1198.13003

Hackensack, NJ: World Scientific (ISBN 978-981-4299-09-1/hbk). xiv, 190 p. (2010).

### HTab: a terminating tableaux system for hybrid logic.(English)Zbl 1347.68301

Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 3-19 (2009).
MSC:  68T15 03B35 03B45 03B62 68N18 68T27
Full Text:

Full Text:

### Super restricted edge connected Cartesian product graphs.(English)Zbl 1197.05082

MSC:  05C40 05C76 68R10
Full Text:

Full Text:

Full Text:

### Theory of types and decision procedures. (Théorie des types et procédures de décision.)(French)Zbl 1419.03003

Paris: École Polytechnique (Diss.). 91 p. (2008).
MSC:  03-02 03B35 03B40 68T15
Full Text:

### Higher-order proof construction based on first-order narrowing.(English)Zbl 1278.03059

Pientka, B. (ed.) et al., Proceedings of the second international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2007), Bremen, Germany, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 196, 69-84 (2008).
MSC:  03B70 03B15 03B35 68N18 68T15
Full Text:

### On connections and higher-order logic.(English)Zbl 1226.03025

Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 187-221 (2008).
MSC:  03B35 03B15 03B40 01A75

### $$M$$-set models.(English)Zbl 1226.03014

Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 149-172 (2008).
MSC:  03B15 03B35 03B40

### Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday.(English)Zbl 1196.03002

Studies in Logic (London) 17. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-904987-70-3/pbk). 467 p. (2008).
MSC:  03-06 00B30 01A60 01A70 03-03 03B15 03B35 03B40 03F05 68T15

### Proofs verifying programs and programs producing proofs: a conceptual analysis.(English)Zbl 1193.03008

Lupacchini, Rossella (ed.) et al., Deduction, computation, experiment. Exploring the effectiveness of proof. Including papers from the workshop held at the University of Bologna, Bologna, Italy, April 3–4, 2007. Berlin: Springer (ISBN 978-88-470-0783-3/pbk). 81-94 (2008).
MSC:  03A05 00A30 00A35 03B35 03B40 68Q60 68T15
Full Text:

### The complexity of monadic second-order unification.(English)Zbl 1166.03004

MSC:  03B35 03B40 68Q17 68Q42 68T15
Full Text:

MSC:  90B10
Full Text:

MSC:  90B22
Full Text:

### Optimal control of a queueing system with $$P^M_{\lambda}$$-service policy.(English)Zbl 1144.60320

MSC:  60K25 90B25

### Galois theory and integral models of $${\Lambda}$$-rings.(English)Zbl 1145.13016

MSC:  13K05 11R37 19L20 16W99
Full Text:

### Higher-order unification: a structural relation between Huet’s method and the one based on explicit substitutions.(English)Zbl 1138.03014

MSC:  03B40 03B25 03B35
Full Text:

### Computation by prophecy.(English)Zbl 1215.03047

Ronchi della Rocca, Simona (ed.), Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73227-3/pbk). Lecture Notes in Computer Science 4583, 70-83 (2007).
Full Text:

### Barendregt’s variable convention in rule inductions.(English)Zbl 1213.03024

Pfenning, Frank (ed.), Automated deduction – CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17–20, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73594-6/pbk). Lecture Notes in Computer Science 4603. Lecture Notes in Artificial Intelligence, 35-50 (2007).
MSC:  03B35 03B40 68Q60
Full Text:

### Building decision procedures in the calculus of inductive constructions.(English)Zbl 1179.68135

Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 328-342 (2007).
MSC:  68T15 03B35 03B40
Full Text:

### The metamorphoses of the calculus. An amazing history of mathematics. (Les métamorphoses du calcul. Une étonnante histoire de mathématiques.)(French)Zbl 1161.01001

Paris: Éditions Le Pommier (ISBN 978-2-7465-0324-3/pbk). 224 p. (2007).

### Workload analysis of an $$M/G/1$$ queue under the $$P^{M}_{\lambda}$$ policy with a set-up time.(English)Zbl 1138.60337

MSC:  60K25 90B22
Full Text:

### A local search descent method heuristic for the vehicle routing problem with time windows.(Chinese. English summary)Zbl 1174.90387

MSC:  90B20 90B40 90C59

Full Text:

### A monadic, functional implementation of real numbers.(English)Zbl 1121.03024

MSC:  03B35 03F60 68N18 68T15
Full Text:

### Coinductive field of exact real numbers and general corecursion.(English)Zbl 1276.03014

Ghani, Neil (ed.) et al., Proceedings of the eighth workshop on coalgebraic methods in computer science (CMCS 2006), Vienna, Austria, March 25–27, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 164, No. 1, 121-139 (2006).
MSC:  03B35 03B40 03D78 68N18 68T15
Full Text:

### CIC$$\widehat{~}$$: Type-based termination of recursive definitions in the calculus of inductive constructions.(English)Zbl 1165.03322

Hermann, Miki (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13–17, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48281-9/pbk). Lecture Notes in Computer Science 4246. Lecture Notes in Artificial Intelligence, 257-271 (2006).
MSC:  03B40 03B35 68T15
Full Text:

### Matching modulo superdevelopments application to second-order matching.(English)Zbl 1165.03323

Hermann, Miki (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13–17, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48281-9/pbk). Lecture Notes in Computer Science 4246. Lecture Notes in Artificial Intelligence, 60-74 (2006).
MSC:  03B40 03B35 68Q42
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3