Edit Profile (opens in new tab) Bunder, Martin W. Compute Distance To: Compute Author ID: bunder.martin-w Published as: Bunder, M. W.; Bunder, Martin; Bunder, Martin W.; Bunder, M. Documents Indexed: 132 Publications since 1970 3 Contributions as Editor · 1 Further Contribution Reviewing Activity: 200 Reviews Co-Authors: 26 Co-Authors with 41 Joint Publications 642 Co-Co-Authors all top 5 Co-Authors 94 single-authored 10 Tognetti, Keith P. 7 Bates, Bruce 7 Dekkers, Wil J. M. 7 Tonien, Joseph 4 Barendregt, Hendrik Pieter 4 Hindley, J. Roger 4 Meyer, Robert Kenneth 4 Seldin, Jonathan P. 2 Nickolas, Peter 2 Nitaj, Abderrahmane 2 Susilo, Willy 1 Anderssen, Robert Scott 1 Banerjee, Mohua 1 Böhm, Corrado 1 Chakraborty, Mihir Kumar 1 Coppo, Mario 1 de Bruijn, Nicolaas Govert 1 de Hoog, Frank Robert 1 Dezani-Ciancaglini, Mariangiola 1 Diller, Justus 1 Feferman, Solomon 1 Fitch, Frederic Brenton 1 Gandy, Robin O. 1 Geuvers, Jan Herman 1 Gilmore, Paul C. 1 Gulati, Chandra M. 1 Howard, William A. 1 Johnson, David Lawrence 1 Kearns, John T. 1 Kim, Ann Chi 1 Klop, Jan Willem 1 Koymans, Karst 1 Kuzichev, Alexander Sergeevich 1 Lambek, Joachim 1 Levy, Jean-Jacques 1 Longo, Giuseppe 1 Megill, Norman D. 1 Meredith, David 1 Mitschke, Gerd 1 Onizawa, Takeo 1 Plotkin, Gordon D. 1 Pottinger, Garrel 1 Powers, Lawrence H. 1 Rizkalla, R. M. 1 Sanchis, Luis Elpidio 1 Scott, Dana Stewart 1 Slaney, John K. 1 Statman, Richard 1 Trigg, Peter 1 Veneri, B. 1 Visser, Albert 1 Wadsworth, Christopher P. 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 Bulletin of Symbolic Logic 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 Acta Mathematica Academiae Paedagogicae Nyíregyháziensis. New Series 2 Integers 2 Applicable Analysis and Discrete Mathematics 1 Bulletin of the Australian Mathematical Society 1 The Mathematical Gazette 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 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 102 Mathematical logic and foundations (03-XX) 20 Number theory (11-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 5 Combinatorics (05-XX) 4 Computer science (68-XX) 4 Information and communication theory, circuits (94-XX) 3 History and biography (01-XX) 2 Category theory; homological algebra (18-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 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 Open 66 Publications have been cited 185 times in 110 Documents Cited by ▼ Year ▼ Linking the Calkin-Wilf and Stern-Brocot trees. Zbl 1209.05045Bates, Bruce; Bunder, Martin; Tognetti, Keith 15 2010 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 15 1980 Locating terms in the Stern-Brocot tree. Zbl 1221.05037Bates, Bruce; Bunder, Martin; Tognetti, Keith 7 2010 Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends. Zbl 0838.03012Trigg, Peter; Hindley, J. Roger; Bunder, Martin W. 7 1994 A weak absolute consistency proof for some systems of illative combinatory logic. Zbl 0527.03003Bunder, M. W. 6 1983 A one axiom set theory based on higher order predicate calculus. Zbl 0537.03010Bunder, M. W. 6 1983 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. 4 1974 A new attack on three variants of the RSA cryptosystem. Zbl 1346.94094Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph 4 2016 Lambda terms definable as combinators. Zbl 0868.03008Bunder, M. W. 4 1996 BCK and related algebras and their corresponding logics. Zbl 0558.03033Bunder, M. W. 4 1983 Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic. Zbl 0614.03015Bunder, M. W. 4 1987 Some rough consequence logics and their interrelations. Zbl 1170.03334Bunder, Martin W.; Banerjee, Mohua; Chakraborty, Mihir K. 4 2008 The Zeckendorf representation and the golden sequence. Zbl 0734.11016Bunder, Martin; Tognetti, Keith 4 1991 A deduction theorem for restricted generality. Zbl 0197.28204Bunder, M. W. 3 1973 Propositional and predicate calculus based on combinatory logic. Zbl 0212.02504Bunder, M. W. 3 1974 Implementing the ‘Fool’s model’ of combinatory logic. Zbl 0749.03007Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence 3 1991 Proof finding algorithms for implicational logics. Zbl 0972.03022Bunder, M. W. 3 2000 Pure type systems with more liberal rules. Zbl 0997.03014Bunder, Martin; Dekkers, Wil 3 2001 Predicate calculus of arbitrarily high finite order. Zbl 0528.03005Bunder, M. W. 3 1983 A generalized attack on RSA type cryptosystems. Zbl 1419.94031Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph 3 2017 A new hierarchy of paraconsistent logics. Zbl 0446.03020Bunder, Martin W. 3 1980 Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006Barendregt, Henk; Bunder, Martin; Dekkers, Wil 3 1993 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 Natural numbers in illative combinatory logic. Zbl 0612.03012Bunder, M. W. 3 1985 Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality. Zbl 0623.03048Bunder, M. W. 3 1986 Continued fractions and the Gauss map. Zbl 1102.11006Bates, Bruce; Bunder, Martin; Tognetti, Keith 3 2005 On binary reflected Gray codes and functions. Zbl 1211.94051Bunder, Martin W.; Tognetti, Keith P.; Wheeler, Glen E. 3 2008 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 A paradox in illative combinatory logic. Zbl 0185.02504Bunder, M. W. 2 1970 Intersection types for lambda-terms and combinators and their logics. Zbl 1022.03005Bunder, Martin 2 2002 Equivalences between pure type systems and systems of illative combinatory logic. Zbl 1081.03015Bunder, M. W.; Dekkers, W. J. M. 2 2005 On the inconsistency of systems similar to \(\mathcal F^*_{21}\). Zbl 0394.03022Bunder, M. W.; Meyer, R. K. 2 1978 Variable binding term operators in \(\lambda\)-calculus. Zbl 0407.03022Bunder, M. W. 2 1979 Set theory in predicate calculus with equality. Zbl 0537.03011Bunder, M. W. 2 1983 The answer to a problem of Iséki on BCI-algebras. Zbl 0545.03041Bunder, M. W. 2 1983 Propositional and predicate calculus based on combinatory logic. Zbl 0272.02045Bunder, M. W. 2 1974 On the equivalence of systems of rules and systems of axioms in illative combinatory logic. Zbl 0349.02020Bunder, M. W. 2 1977 Scott’s models and illative combinatory logic. Zbl 0349.02021Bunder, M. W. 2 1979 Consistency notions in illative combinatory logic. Zbl 0382.03013Bunder, M. W. 2 1978 On the harmonic continued fractions. Zbl 1464.11014Bunder, Martin; Nickolas, Peter; Tonien, Joseph 1 2019 Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018Dekkers, Wil; Bunder, Martin; Barendregt, Henk 1 1998 A generalised Kleene-Rosser paradox for a system containing the combinator K. Zbl 0197.28203Bunder, M. W. 1 1973 Zeckendorf representations using negative Fibonacci numbers. Zbl 0751.11007Bunder, M. W. 1 1992 On the self matching properties of \([j\tau]\). Zbl 0991.11006Bunder, Martin; Tognetti, Keith 1 2001 A new attack on the RSA cryptosystem based on continued fractions. Zbl 07174176Bunder, M.; Tonien, J. 1 2017 Equivalences between illative combinatory logics and pure type systems. Zbl 0937.03021Bunder, M. W.; Dekkers, W. J. M.; Geuvers, J. H. 1 1997 Intersection type systems and logics related to the Meyer-Routley system \(B^+\). Zbl 1048.03012Bunder, Martin 1 2003 Equality in \(\mathfrak J^*_{2\,1}\) with restricted subjects. Zbl 0422.03002Bunder, M. W. 1 1978 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 Some results in Aczel-Feferman logic and set theory. Zbl 0496.03034Bunder, M. W. 1 1982 Combinatory logic and lambda calculus with classical types. Zbl 0856.03014Bunder, M. W. 1 1992 A simplified form of condensed detachment. Zbl 0837.03010Bunder, M. W. 1 1995 Illative combinatory logic without equality as a primitive predicate. Zbl 0452.03008Bunder, M. W. 1 1982 Overlapping types in higher order predicate calculus based on combinatory logic. Zbl 0698.03005Bunder, M. W. 1 1989 On adding (\(\xi\) ) to weak equality in combinatory logic. Zbl 0702.03007Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P. 1 1989 Weaker \(D\)-complete logics. Zbl 0845.03010Megill, Norman D.; Bunder, Martin W. 1 1996 Horadam functions and powers of irrationals. Zbl 1303.11027Bunder, Martin W. 1 2012 Some improvements to Turner’s algorithm for bracket abstraction. Zbl 0714.03013Bunder, M. W. 1 1990 Mirroring and interleaving in the paperfolding sequence. Zbl 1265.11018Bates, Bruce; Bunder, Martin; Tognetti, Keith 1 2010 Deduction theorems for weak implicational logics. Zbl 0536.03001Bunder, M. W. 1 1982 Conjunction without conditions in illative combinatory logic. Zbl 0557.03008Bunder, M. W. 1 1984 Possible forms of evaluation or reduction in Martin-Löf type theory. Zbl 0612.03007Bunder, M. W. 1 1985 Some inconsistencies in illative combinatory logic. Zbl 0299.02031Bunder, M. W. 1 1974 Corrections to some results for BCK logics and algebras. Zbl 0729.03007Bunder, M. W. 1 1988 On the harmonic continued fractions. Zbl 1464.11014Bunder, Martin; Nickolas, Peter; Tonien, Joseph 1 2019 A generalized attack on RSA type cryptosystems. Zbl 1419.94031Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph 3 2017 A new attack on the RSA cryptosystem based on continued fractions. Zbl 07174176Bunder, M.; Tonien, J. 1 2017 A new attack on three variants of the RSA cryptosystem. Zbl 1346.94094Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph 4 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 15 2010 Locating terms in the Stern-Brocot tree. Zbl 1221.05037Bates, Bruce; Bunder, Martin; Tognetti, Keith 7 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 A simplified form of condensed detachment. Zbl 0837.03010Bunder, M. W. 1 1995 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 Zeckendorf representations using negative Fibonacci numbers. Zbl 0751.11007Bunder, M. W. 1 1992 Combinatory logic and lambda calculus with classical types. Zbl 0856.03014Bunder, 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 Overlapping types in higher order predicate calculus based on combinatory logic. Zbl 0698.03005Bunder, M. W. 1 1989 On adding (\(\xi\) ) to weak equality in combinatory logic. Zbl 0702.03007Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P. 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 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 Natural numbers in illative combinatory logic. Zbl 0612.03012Bunder, 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 weak absolute consistency proof for some systems of illative combinatory logic. Zbl 0527.03003Bunder, M. W. 6 1983 A one axiom set theory based on higher order predicate calculus. Zbl 0537.03010Bunder, 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 Set theory in predicate calculus with equality. Zbl 0537.03011Bunder, M. W. 2 1983 The answer to a problem of Iséki on BCI-algebras. Zbl 0545.03041Bunder, M. W. 2 1983 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 Deduction theorems for weak implicational logics. Zbl 0536.03001Bunder, 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 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 15 1980 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. 2 1979 On the inconsistency of systems similar to \(\mathcal F^*_{21}\). Zbl 0394.03022Bunder, M. W.; Meyer, R. K. 2 1978 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 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. 4 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. 2 1970 all cited Publications top 5 cited Publications all top 5 Cited by 113 Authors 30 Bunder, Martin W. 4 Bates, Bruce 4 Broda, Sabine 4 Chuan, Waifong 4 Dekkers, Wil J. M. 4 Hirokawa, Sachio 4 Tognetti, Keith P. 4 Tonien, Joseph 3 Bimbó, Katalin 3 Damas, Luís 3 Nathanson, Melvyn Bernard 3 Susilo, Willy 2 Barendregt, Hendrik Pieter 2 Chakraborty, Mihir Kumar 2 Han, Sandie 2 Hindley, J. Roger 2 Ho, Hui-Ling 2 Humberstone, Lloyd 2 Leroy, Julien 2 Mansour, Toufik 2 Masuda, Ariane M. 2 Meyer, Robert Kenneth 2 Nitaj, Abderrahmane 2 Ponton, Lionel 2 Rigo, Michel 2 Rogerson, Susan 2 Seldin, Jonathan P. 2 Singh, Satyanand 2 Stipulanti, Manon 2 Thiel, Johann A. 2 Uscka-Wehlou, Hanna 2 Vajnovszki, Vincent 1 Abrate, Marco 1 Alves, Sandra 1 Ayral, Hakan 1 Barbero, Stefano 1 Besnard, Philippe 1 Bettini, Lorenzo 1 Bibel, Wolfgang 1 Bono, Viviana 1 Bonotto, Cinzia 1 Bressan, Aldo 1 Caie, Michael 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 Graver, Jack E. 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 Kravitz, Noah 1 Kunihiro, Noboru 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 Mares, Edwin D. 1 Mbah, Martial L. Ndeffo 1 Megill, Norman D. 1 Mendes, Alexandra 1 Mortensen, Chris 1 Moussavi, Ahmad 1 Moutari, Salissou 1 Mumtaz, Majid 1 Murru, Nadir 1 Nagayama, Misao 1 Nickolas, Peter 1 Padovani, Vincent 1 Peng, Liqiang 1 Ping, Luo 1 Powers, Lawrence H. 1 Restall, Greg 1 Sylvan, Richard 1 Sah, Ashwin 1 Samanta, Pulak 1 Schneider, Joshua P. 1 She, Yanhong 1 Silva e Silva, Paulo 1 Tabachnikov, Serge L. ...and 13 more Authors all top 5 Cited in 41 Serials 15 Theoretical Computer Science 13 The Journal of Symbolic Logic 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 Integers 4 Journal of Applied Logic 3 Discrete Applied Mathematics 3 Discrete Mathematics 3 Journal of Philosophical Logic 3 European Journal of Combinatorics 2 Annals of Pure and Applied Logic 2 International Journal of Approximate Reasoning 1 American Mathematical Monthly 1 Bulletin of the Australian Mathematical Society 1 Information Processing Letters 1 Mathematics Magazine 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 Order 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 Journal of Discrete Mathematical Sciences & Cryptography 1 Logica Universalis 1 The Review of Symbolic Logic 1 Mathematics 1 Algebra 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 14 Fields 64 Mathematical logic and foundations (03-XX) 27 Computer science (68-XX) 21 Number theory (11-XX) 20 Combinatorics (05-XX) 6 Information and communication theory, circuits (94-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 2 Category theory; homological algebra (18-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 Group theory and generalizations (20-XX) 1 Difference and functional equations (39-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year