Edit Profile Bunder, Martin W. Compute Distance To: Compute Author ID: bunder.martin-w Published as: Bunder, M.; Bunder, M. W.; Bunder, Martin; Bunder, Martin W. Documents Indexed: 131 Publications since 1970 Reviewing Activity: 200 Reviews all top 5 Co-Authors 93 single-authored 10 Tognetti, Keith P. 7 Bates, Bruce 7 Dekkers, Wil J. M. 4 Meyer, Robert Kenneth 4 Tonien, Joseph 3 Barendregt, Hendrik Pieter 3 Hindley, J. Roger 3 Seldin, Jonathan P. 2 Nitaj, Abderrahmane 2 Susilo, Willy 1 Anderssen, Robert Scott 1 Banerjee, Mohua 1 Chakraborty, Mihir Kumar 1 de Hoog, Frank Robert 1 Geuvers, Jan Herman 1 Griffiths, David W. 1 Gulati, Chandra M. 1 Johnson, David Lawrence 1 Kim, Ann Chi 1 Laird, Philip D. 1 Laird, Philip G. 1 Megill, Norman D. 1 Nickolas, Peter 1 Onizawa, Takeo 1 Powers, Lawrence H. 1 Rizkalla, R. M. 1 Slaney, John K. 1 Trigg, Peter 1 Wheeler, Glen E. all top 5 Serials 22 Notre Dame Journal of Formal Logic 12 The Journal of Symbolic Logic 8 The Fibonacci Quarterly 7 Theoretical Computer Science 6 Archiv für Mathematische Logik und Grundlagenforschung 5 Logique et Analyse. Nouvelle Série 4 Mathematics Seminar Notes 3 Mathematica Japonica 3 Studia Logica 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 European Journal of Combinatorics 3 The Australasian Journal of Logic 3 Bulletin of the Section of Logic 2 Discrete Mathematics 2 The Australian Mathematical Society Gazette 2 Bulletin of the Section of Logic 2 The Bulletin of Symbolic Logic 2 Acta Mathematica Academiae Paedagogicae Nyíregyháziensis. New Series 2 Applicable Analysis and Discrete Mathematics 1 Indagationes Mathematicae 1 Journal of Number Theory 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Revista Colombiana de Matemáticas 1 Journal of Automated Reasoning 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Algebra Colloquium 1 Journal of the IGPL 1 The Ramanujan Journal 1 Logic Journal of the IGPL 1 RIMS Kokyuroku 1 Scientiae Mathematicae 1 Integers 1 Journal of Applied Logic 1 Logical Methods in Computer Science 1 Journal of Statistical Theory and Practice 1 Far East Journal of Mathematical Education 1 Malaysian Journal of Mathematical Sciences all top 5 Fields 100 Mathematical logic and foundations (03-XX) 17 Number theory (11-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 4 Combinatorics (05-XX) 4 Computer science (68-XX) 4 Information and communication theory, circuits (94-XX) 2 History and biography (01-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Special functions (33-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Sequences, series, summability (40-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 61 Publications have been cited 156 times in 101 Documents Cited by ▼ Year ▼ Linking the Calkin-Wilf and Stern-Brocot trees. Zbl 1209.05045Bates, Bruce; Bunder, Martin; Tognetti, Keith 12 2010 Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends. Zbl 0838.03012Trigg, Peter; Hindley, J. Roger; Bunder, Martin W. 7 1994 A one axiom set theory based on higher order predicate calculus. Zbl 0537.03010Bunder, M. W. 6 1983 A weak absolute consistency proof for some systems of illative combinatory logic. Zbl 0527.03003Bunder, M. W. 6 1983 Locating terms in the Stern-Brocot tree. Zbl 1221.05037Bates, Bruce; Bunder, Martin; Tognetti, Keith 5 2010 Linkages between the Gauss map and the Stern-Brocot tree. Zbl 1119.11008Bates, Bruce; Bunder, Martin; Tognetti, Keith 5 2006 A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004Bunder, M. W.; Meyer, R. K. 5 1985 Various systems of set theory based on combinatory logic. Zbl 0212.02505Bunder, M. W. 5 1974 Some rough consequence logics and their interrelations. Zbl 1170.03334Bunder, Martin W.; Banerjee, Mohua; Chakraborty, Mihir K. 4 2008 Lambda terms definable as combinators. Zbl 0868.03008Bunder, M. W. 4 1996 The Zeckendorf representation and the golden sequence. Zbl 0734.11016Bunder, Martin; Tognetti, Keith 4 1991 Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic. Zbl 0614.03015Bunder, M. W. 4 1987 BCK and related algebras and their corresponding logics. Zbl 0558.03033Bunder, M. W. 4 1983 A new attack on three variants of the RSA cryptosystem. Zbl 1346.94094Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph 3 2016 On binary reflected Gray codes and functions. Zbl 1211.94051Bunder, Martin W.; Tognetti, Keith P.; Wheeler, Glen E. 3 2008 Continued fractions and the Gauss map. Zbl 1102.11006Bates, Bruce; Bunder, Martin; Tognetti, Keith 3 2005 Pure type systems with more liberal rules. Zbl 0997.03014Bunder, Martin; Dekkers, Wil 3 2001 Proof finding algorithms for implicational logics. Zbl 0972.03022Bunder, M. W. 3 2000 Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006Barendregt, Henk; Bunder, Martin; Dekkers, Wil 3 1993 Implementing the ‘Fool’s model’ of combinatory logic. Zbl 0749.03007Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence 3 1991 Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality. Zbl 0623.03048Bunder, M. W. 3 1986 Natural numbers in illative combinatory logic. Zbl 0612.03012Bunder, M. W. 3 1985 An extension of Klop’s counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators. Zbl 0601.03002Bunder, M. W. 3 1985 Predicate calculus of arbitrarily high finite order. Zbl 0528.03005Bunder, M. W. 3 1983 A new hierarchy of paraconsistent logics. Zbl 0446.03020Bunder, Martin W. 3 1980 Propositional and predicate calculus based on combinatory logic. Zbl 0212.02504Bunder, M. W. 3 1974 A deduction theorem for restricted generality. Zbl 0197.28204Bunder, M. W. 3 1973 Equivalences between pure type systems and systems of illative combinatory logic. Zbl 1081.03015Bunder, M. W.; Dekkers, W. J. M. 2 2005 Intersection types for lambda-terms and combinators and their logics. Zbl 1022.03005Bunder, Martin 2 2002 Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Zbl 0908.03016Dekkers, Wil; Bunder, Martin; Barendregt, Henk 2 1998 The answer to a problem of Iséki on BCI-algebras. Zbl 0545.03041Bunder, M. W. 2 1983 Set theory in predicate calculus with equality. Zbl 0537.03011Bunder, M. W. 2 1983 Variable binding term operators in \(\lambda\)-calculus. Zbl 0407.03022Bunder, M. W. 2 1979 Consistency notions in illative combinatory logic. Zbl 0382.03013Bunder, M. W. 2 1978 On the equivalence of systems of rules and systems of axioms in illative combinatory logic. Zbl 0349.02020Bunder, M. W. 2 1977 Propositional and predicate calculus based on combinatory logic. Zbl 0272.02045Bunder, M. W. 2 1974 Horadam functions and powers of irrationals. Zbl 1303.11027Bunder, Martin W. 1 2012 Mirroring and interleaving in the paperfolding sequence. Zbl 1265.11018Bates, Bruce; Bunder, Martin; Tognetti, Keith 1 2010 Intersection type systems and logics related to the Meyer-Routley system \(B^+\). Zbl 1048.03012Bunder, Martin 1 2003 On the self matching properties of \([j\tau]\). Zbl 0991.11006Bunder, Martin; Tognetti, Keith 1 2001 Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018Dekkers, Wil; Bunder, Martin; Barendregt, Henk 1 1998 Equivalences between illative combinatory logics and pure type systems. Zbl 0937.03021Bunder, M. W.; Dekkers, W. J. M.; Geuvers, J. H. 1 1997 Weaker \(D\)-complete logics. Zbl 0845.03010Megill, Norman D.; Bunder, Martin W. 1 1996 Combinatory logic and lambda calculus with classical types. Zbl 0856.03014Bunder, M. W. 1 1992 Zeckendorf representations using negative Fibonacci numbers. Zbl 0751.11007Bunder, M. W. 1 1992 Some improvements to Turner’s algorithm for bracket abstraction. Zbl 0714.03013Bunder, M. W. 1 1990 On adding (\(\xi\) ) to weak equality in combinatory logic. Zbl 0702.03007Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P. 1 1989 Overlapping types in higher order predicate calculus based on combinatory logic. Zbl 0698.03005Bunder, M. W. 1 1989 Corrections to some results for BCK logics and algebras. Zbl 0729.03007Bunder, M. W. 1 1988 Possible forms of evaluation or reduction in Martin-Löf type theory. Zbl 0612.03007Bunder, M. W. 1 1985 Conjunction without conditions in illative combinatory logic. Zbl 0557.03008Bunder, M. W. 1 1984 Deduction theorems for weak implicational logics. Zbl 0536.03001Bunder, M. W. 1 1982 Some results in Aczel-Feferman logic and set theory. Zbl 0496.03034Bunder, M. W. 1 1982 Illative combinatory logic without equality as a primitive predicate. Zbl 0452.03008Bunder, M. W. 1 1982 Simpler axioms for BCK algebras and the connection between the axioms and the combinators B, C and K. Zbl 0473.03063Bunder, M. W. 1 1981 Scott’s models and illative combinatory logic. Zbl 0349.02021Bunder, M. W. 1 1979 Equality in \(\mathfrak J^*_{2\,1}\) with restricted subjects. Zbl 0422.03002Bunder, M. W. 1 1978 On the inconsistency of systems similar to \(\mathcal F^*_{21}\). Zbl 0394.03022Bunder, M. W.; Meyer, R. K. 1 1978 Some inconsistencies in illative combinatory logic. Zbl 0299.02031Bunder, M. W. 1 1974 A generalised Kleene-Rosser paradox for a system containing the combinator K. Zbl 0197.28203Bunder, M. W. 1 1973 A paradox in illative combinatory logic. Zbl 0185.02504Bunder, M. W. 1 1970 A new attack on three variants of the RSA cryptosystem. Zbl 1346.94094Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph 3 2016 Horadam functions and powers of irrationals. Zbl 1303.11027Bunder, Martin W. 1 2012 Linking the Calkin-Wilf and Stern-Brocot trees. Zbl 1209.05045Bates, Bruce; Bunder, Martin; Tognetti, Keith 12 2010 Locating terms in the Stern-Brocot tree. Zbl 1221.05037Bates, Bruce; Bunder, Martin; Tognetti, Keith 5 2010 Mirroring and interleaving in the paperfolding sequence. Zbl 1265.11018Bates, Bruce; Bunder, Martin; Tognetti, Keith 1 2010 Some rough consequence logics and their interrelations. Zbl 1170.03334Bunder, Martin W.; Banerjee, Mohua; Chakraborty, Mihir K. 4 2008 On binary reflected Gray codes and functions. Zbl 1211.94051Bunder, Martin W.; Tognetti, Keith P.; Wheeler, Glen E. 3 2008 Linkages between the Gauss map and the Stern-Brocot tree. Zbl 1119.11008Bates, Bruce; Bunder, Martin; Tognetti, Keith 5 2006 Continued fractions and the Gauss map. Zbl 1102.11006Bates, Bruce; Bunder, Martin; Tognetti, Keith 3 2005 Equivalences between pure type systems and systems of illative combinatory logic. Zbl 1081.03015Bunder, M. W.; Dekkers, W. J. M. 2 2005 Intersection type systems and logics related to the Meyer-Routley system \(B^+\). Zbl 1048.03012Bunder, Martin 1 2003 Intersection types for lambda-terms and combinators and their logics. Zbl 1022.03005Bunder, Martin 2 2002 Pure type systems with more liberal rules. Zbl 0997.03014Bunder, Martin; Dekkers, Wil 3 2001 On the self matching properties of \([j\tau]\). Zbl 0991.11006Bunder, Martin; Tognetti, Keith 1 2001 Proof finding algorithms for implicational logics. Zbl 0972.03022Bunder, M. W. 3 2000 Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Zbl 0908.03016Dekkers, Wil; Bunder, Martin; Barendregt, Henk 2 1998 Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018Dekkers, Wil; Bunder, Martin; Barendregt, Henk 1 1998 Equivalences between illative combinatory logics and pure type systems. Zbl 0937.03021Bunder, M. W.; Dekkers, W. J. M.; Geuvers, J. H. 1 1997 Lambda terms definable as combinators. Zbl 0868.03008Bunder, M. W. 4 1996 Weaker \(D\)-complete logics. Zbl 0845.03010Megill, Norman D.; Bunder, Martin W. 1 1996 Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends. Zbl 0838.03012Trigg, Peter; Hindley, J. Roger; Bunder, Martin W. 7 1994 Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006Barendregt, Henk; Bunder, Martin; Dekkers, Wil 3 1993 Combinatory logic and lambda calculus with classical types. Zbl 0856.03014Bunder, M. W. 1 1992 Zeckendorf representations using negative Fibonacci numbers. Zbl 0751.11007Bunder, M. W. 1 1992 The Zeckendorf representation and the golden sequence. Zbl 0734.11016Bunder, Martin; Tognetti, Keith 4 1991 Implementing the ‘Fool’s model’ of combinatory logic. Zbl 0749.03007Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence 3 1991 Some improvements to Turner’s algorithm for bracket abstraction. Zbl 0714.03013Bunder, M. W. 1 1990 On adding (\(\xi\) ) to weak equality in combinatory logic. Zbl 0702.03007Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P. 1 1989 Overlapping types in higher order predicate calculus based on combinatory logic. Zbl 0698.03005Bunder, M. W. 1 1989 Corrections to some results for BCK logics and algebras. Zbl 0729.03007Bunder, M. W. 1 1988 Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic. Zbl 0614.03015Bunder, M. W. 4 1987 Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality. Zbl 0623.03048Bunder, M. W. 3 1986 A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004Bunder, M. W.; Meyer, R. K. 5 1985 Natural numbers in illative combinatory logic. Zbl 0612.03012Bunder, M. W. 3 1985 An extension of Klop’s counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators. Zbl 0601.03002Bunder, M. W. 3 1985 Possible forms of evaluation or reduction in Martin-Löf type theory. Zbl 0612.03007Bunder, M. W. 1 1985 Conjunction without conditions in illative combinatory logic. Zbl 0557.03008Bunder, M. W. 1 1984 A one axiom set theory based on higher order predicate calculus. Zbl 0537.03010Bunder, M. W. 6 1983 A weak absolute consistency proof for some systems of illative combinatory logic. Zbl 0527.03003Bunder, M. W. 6 1983 BCK and related algebras and their corresponding logics. Zbl 0558.03033Bunder, M. W. 4 1983 Predicate calculus of arbitrarily high finite order. Zbl 0528.03005Bunder, M. W. 3 1983 The answer to a problem of Iséki on BCI-algebras. Zbl 0545.03041Bunder, M. W. 2 1983 Set theory in predicate calculus with equality. Zbl 0537.03011Bunder, M. W. 2 1983 Deduction theorems for weak implicational logics. Zbl 0536.03001Bunder, M. W. 1 1982 Some results in Aczel-Feferman logic and set theory. Zbl 0496.03034Bunder, M. W. 1 1982 Illative combinatory logic without equality as a primitive predicate. Zbl 0452.03008Bunder, M. W. 1 1982 Simpler axioms for BCK algebras and the connection between the axioms and the combinators B, C and K. Zbl 0473.03063Bunder, M. W. 1 1981 A new hierarchy of paraconsistent logics. Zbl 0446.03020Bunder, Martin W. 3 1980 Variable binding term operators in \(\lambda\)-calculus. Zbl 0407.03022Bunder, M. W. 2 1979 Scott’s models and illative combinatory logic. Zbl 0349.02021Bunder, M. W. 1 1979 Consistency notions in illative combinatory logic. Zbl 0382.03013Bunder, M. W. 2 1978 Equality in \(\mathfrak J^*_{2\,1}\) with restricted subjects. Zbl 0422.03002Bunder, M. W. 1 1978 On the inconsistency of systems similar to \(\mathcal F^*_{21}\). Zbl 0394.03022Bunder, M. W.; Meyer, R. K. 1 1978 On the equivalence of systems of rules and systems of axioms in illative combinatory logic. Zbl 0349.02020Bunder, M. W. 2 1977 Various systems of set theory based on combinatory logic. Zbl 0212.02505Bunder, M. W. 5 1974 Propositional and predicate calculus based on combinatory logic. Zbl 0212.02504Bunder, M. W. 3 1974 Propositional and predicate calculus based on combinatory logic. Zbl 0272.02045Bunder, M. W. 2 1974 Some inconsistencies in illative combinatory logic. Zbl 0299.02031Bunder, M. W. 1 1974 A deduction theorem for restricted generality. Zbl 0197.28204Bunder, M. W. 3 1973 A generalised Kleene-Rosser paradox for a system containing the combinator K. Zbl 0197.28203Bunder, M. W. 1 1973 A paradox in illative combinatory logic. Zbl 0185.02504Bunder, M. W. 1 1970 all cited Publications top 5 cited Publications all top 5 Cited by 105 Authors 29 Bunder, Martin W. 4 Bates, Bruce 4 Broda, Sabine 4 Chuan, Waifong 4 Dekkers, Wil J. M. 4 Hirokawa, Sachio 4 Tognetti, Keith P. 3 Bimbó, Katalin 3 Damas, Luís 3 Nathanson, Melvyn Bernard 2 Barendregt, Hendrik Pieter 2 Chakraborty, Mihir Kumar 2 Hindley, J. Roger 2 Ho, Hui-Ling 2 Humberstone, Lloyd 2 Leroy, Julien 2 Mansour, Toufik 2 Meyer, Robert Kenneth 2 Nitaj, Abderrahmane 2 Ponton, Lionel 2 Rigo, Michel 2 Rogerson, Susan 2 Seldin, Jonathan P. 2 Stipulanti, Manon 2 Susilo, Willy 2 Tonien, Joseph 2 Uscka-Wehlou, Hanna 2 Vajnovszki, Vincent 1 Abrate, Marco 1 Ahmadi, Amin 1 Alves, Sandra 1 Ayral, Hakan 1 Barbero, Stefano 1 Besnard, Philippe 1 Bettini, Lorenzo 1 Bono, Viviana 1 Bonotto, Cinzia 1 Bressan, Aldo 1 Cerruti, Umberto 1 Contassot-Vivier, Sylvain 1 Couchot, Jean-François 1 Curien, Pierre-Louis 1 Czajka, Łukasz 1 Da Costa, Newton Carneiro Affonso 1 de Vrijer, R. C. 1 Dudek, Wiesław Aleksander 1 Dunn, Jon Michael 1 Feferman, Solomon 1 Ferreira, João Filipe 1 Finger, Marcelo 1 Gabbay, Michael J. 1 Gabbay, Murdoch James 1 Gibert, Jacek 1 Han, Sandie 1 Hardin, Thérèse 1 Héam, Pierre-Cyrille 1 Hu, Lei 1 Kamareddine, Fairouz D. 1 Kilic, Emrah 1 Klop, Jan Willem 1 Komori, Yuichi 1 Kordi, Ali 1 Laenens, Els 1 Lele, Celestin 1 Lennerstad, Håkan 1 Liao, Fang-Yi 1 Lochbihler, Andreas 1 Longo, Giuseppe 1 Lu, Yao 1 Ma, Minghui 1 Mani, Anandi 1 Mano, Karuppiah 1 Mares, Edwin D. 1 Masuda, Ariane M. 1 Mbah, Martial L. Ndeffo 1 Megill, Norman D. 1 Mendes, Alexandra 1 Mortensen, Chris 1 Moussavi, Ahmad 1 Moutari, Salissou 1 Murru, Nadir 1 Nagayama, Misao 1 Ogawa, Morirou 1 Padovani, Vincent 1 Peng, Liqiang 1 Powers, Lawrence H. 1 Restall, Greg 1 Sylvan, Richard 1 Samanta, Pulak 1 Schneider, Joshua P. 1 She, Yanhong 1 Silva e Silva, Paulo 1 Singh, Satyanand 1 Tabachnikov, Serge L. 1 Tasci, Dursun 1 Thiel, Johann A. 1 Trigg, Peter 1 Ulrich, Dolph 1 Uludağ, Muhammed A. 1 Venneri, Betti ...and 5 more Authors all top 5 Cited in 36 Serials 13 The Journal of Symbolic Logic 13 Theoretical Computer Science 6 Archiv für Mathematische Logik und Grundlagenforschung 5 Studia Logica 5 International Journal of Number Theory 4 Notre Dame Journal of Formal Logic 4 Journal of Applied Logic 3 Discrete Applied Mathematics 3 Discrete Mathematics 3 Journal of Philosophical Logic 3 European Journal of Combinatorics 3 Integers 2 Annals of Pure and Applied Logic 2 International Journal of Approximate Reasoning 1 American Mathematical Monthly 1 Information Processing Letters 1 The Mathematical Intelligencer 1 Journal of Combinatorial Theory. Series A 1 Journal of Computational and Applied Mathematics 1 Mathematica Slovaca 1 Rendiconti del Seminario Matematico della Università di Padova 1 History and Philosophy of Logic 1 Journal of Symbolic Computation 1 Information and Computation 1 Journal of Automated Reasoning 1 International Journal of Intelligent Systems 1 Journal of Theoretical Probability 1 MSCS. Mathematical Structures in Computer Science 1 Pattern Recognition 1 Bulletin of the Polish Academy of Sciences, Mathematics 1 Journal of Functional Programming 1 The Bulletin of Symbolic Logic 1 Logica Universalis 1 Mathematics 1 Algebra 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 14 Fields 62 Mathematical logic and foundations (03-XX) 24 Computer science (68-XX) 19 Combinatorics (05-XX) 17 Number theory (11-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Information and communication theory, circuits (94-XX) 2 Measure and integration (28-XX) 1 General algebraic systems (08-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Difference and functional equations (39-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year