## Bunder, Martin W.

Compute Distance To:
 Author ID: bunder.martin-w Published as: Bunder, M. W.; Bunder, Martin; Bunder, Martin W.; Bunder, M. more...less
 Documents Indexed: 134 Publications since 1970 3 Contributions as Editor · 1 Further Contribution Reviewing Activity: 200 Reviews Co-Authors: 26 Co-Authors with 42 Joint Publications 655 Co-Co-Authors
all top 5

### Co-Authors

 95 single-authored 11 Tognetti, Keith P. 8 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 Alvin 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 4 The Australasian Journal of Logic 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 Bulletin of the Section of Logic 2 Bulletin of the Australian Mathematical Society 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 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

 103 Mathematical logic and foundations (03-XX) 21 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)

### Citations contained in zbMATH Open

66 Publications have been cited 187 times in 112 Documents Cited by Year
Linking the Calkin-Wilf and Stern-Brocot trees. Zbl 1209.05045
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
1980
Combinatory abstraction using $${\mathbf B}$$, $${\mathbf B}^ \prime$$ and friends. Zbl 0838.03012
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W.
1994
Locating terms in the Stern-Brocot tree. Zbl 1221.05037
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
A weak absolute consistency proof for some systems of illative combinatory logic. Zbl 0527.03003
Bunder, M. W.
1983
A one axiom set theory based on higher order predicate calculus. Zbl 0537.03010
Bunder, M. W.
1983
A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004
Bunder, M. W.; Meyer, R. K.
1985
Linkages between the Gauss map and the Stern-Brocot tree. Zbl 1119.11008
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2006
Lambda terms definable as combinators. Zbl 0868.03008
Bunder, M. W.
1996
Some rough consequence logics and their interrelations. Zbl 1170.03334
Bunder, Martin W.; Banerjee, Mohua; Chakraborty, Mihir K.
2008
A new attack on three variants of the RSA cryptosystem. Zbl 1346.94094
Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph
2016
The Zeckendorf representation and the golden sequence. Zbl 0734.11016
Bunder, Martin; Tognetti, Keith
1991
BCK and related algebras and their corresponding logics. Zbl 0558.03033
Bunder, M. W.
1983
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic. Zbl 0614.03015
Bunder, M. W.
1987
Various systems of set theory based on combinatory logic. Zbl 0212.02505
Bunder, M. W.
1974
Proof finding algorithms for implicational logics. Zbl 0972.03022
Bunder, M. W.
2000
Pure type systems with more liberal rules. Zbl 0997.03014
Bunder, Martin; Dekkers, Wil
2001
Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006
Barendregt, Henk; Bunder, Martin; Dekkers, Wil
1993
Implementing the ‘Fool’s model’ of combinatory logic. Zbl 0749.03007
Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence
1991
A new hierarchy of paraconsistent logics. Zbl 0446.03020
Bunder, Martin W.
1980
Continued fractions and the Gauss map. Zbl 1102.11006
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2005
Predicate calculus of arbitrarily high finite order. Zbl 0528.03005
Bunder, M. W.
1983
An extension of Klop’s counterexample to the Church-Rosser property to $$\lambda$$-calculus with other ordered pair combinators. Zbl 0601.03002
Bunder, M. W.
1985
Natural numbers in illative combinatory logic. Zbl 0612.03012
Bunder, M. W.
1985
Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality. Zbl 0623.03048
Bunder, M. W.
1986
A deduction theorem for restricted generality. Zbl 0197.28204
Bunder, M. W.
1973
Propositional and predicate calculus based on combinatory logic. Zbl 0212.02504
Bunder, M. W.
1974
On binary reflected Gray codes and functions. Zbl 1211.94051
Bunder, Martin W.; Tognetti, Keith P.; Wheeler, Glen E.
2008
A generalized attack on RSA type cryptosystems. Zbl 1419.94031
Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph
2017
Intersection types for lambda-terms and combinators and their logics. Zbl 1022.03005
Bunder, Martin
2002
Equivalences between pure type systems and systems of illative combinatory logic. Zbl 1081.03015
Bunder, M. W.; Dekkers, W. J. M.
2005
Some improvements to Turner’s algorithm for bracket abstraction. Zbl 0714.03013
Bunder, M. W.
1990
Set theory in predicate calculus with equality. Zbl 0537.03011
Bunder, M. W.
1983
The answer to a problem of Iséki on BCI-algebras. Zbl 0545.03041
Bunder, M. W.
1983
Variable binding term operators in $$\lambda$$-calculus. Zbl 0407.03022
Bunder, M. W.
1979
Propositional and predicate calculus based on combinatory logic. Zbl 0272.02045
Bunder, M. W.
1974
On the equivalence of systems of rules and systems of axioms in illative combinatory logic. Zbl 0349.02020
Bunder, M. W.
1977
Scott’s models and illative combinatory logic. Zbl 0349.02021
Bunder, M. W.
1979
Consistency notions in illative combinatory logic. Zbl 0382.03013
Bunder, M. W.
1978
A paradox in illative combinatory logic. Zbl 0185.02504
Bunder, M. W.
1970
Mirroring and interleaving in the paperfolding sequence. Zbl 1265.11018
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
On the inconsistency of systems similar to $$\mathcal F^*_{21}$$. Zbl 0394.03022
Bunder, M. W.; Meyer, R. K.
1978
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Zbl 0908.03016
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1998
Equivalences between illative combinatory logics and pure type systems. Zbl 0937.03021
Bunder, M. W.; Dekkers, W. J. M.; Geuvers, J. H.
1997
On the self matching properties of $$[j\tau]$$. Zbl 0991.11006
Bunder, Martin; Tognetti, Keith
2001
Zeckendorf representations using negative Fibonacci numbers. Zbl 0751.11007
Bunder, M. W.
1992
Weaker $$D$$-complete logics. Zbl 0845.03010
Megill, Norman D.; Bunder, Martin W.
1996
Equality in $$\mathfrak J^*_{2\,1}$$ with restricted subjects. Zbl 0422.03002
Bunder, M. W.
1978
Illative combinatory logic without equality as a primitive predicate. Zbl 0452.03008
Bunder, M. W.
1982
Combinatory logic and lambda calculus with classical types. Zbl 0856.03014
Bunder, M. W.
1992
A simplified form of condensed detachment. Zbl 0837.03010
Bunder, M. W.
1995
Intersection type systems and logics related to the Meyer-Routley system $$B^+$$. Zbl 1048.03012
Bunder, Martin
2003
Corrections to some results for BCK logics and algebras. Zbl 0729.03007
Bunder, M. W.
1988
Deduction theorems for weak implicational logics. Zbl 0536.03001
Bunder, M. W.
1982
Conjunction without conditions in illative combinatory logic. Zbl 0557.03008
Bunder, M. W.
1984
Some results in Aczel-Feferman logic and set theory. Zbl 0496.03034
Bunder, M. W.
1982
Possible forms of evaluation or reduction in Martin-Löf type theory. Zbl 0612.03007
Bunder, M. W.
1985
Some inconsistencies in illative combinatory logic. Zbl 0299.02031
Bunder, M. W.
1974
A generalised Kleene-Rosser paradox for a system containing the combinator K. Zbl 0197.28203
Bunder, M. W.
1973
Horadam functions and powers of irrationals. Zbl 1303.11027
Bunder, Martin W.
2012
Simpler axioms for BCK algebras and the connection between the axioms and the combinators B, C and K. Zbl 0473.03063
Bunder, M. W.
1981
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1998
Overlapping types in higher order predicate calculus based on combinatory logic. Zbl 0698.03005
Bunder, M. W.
1989
On adding ($$\xi$$ ) to weak equality in combinatory logic. Zbl 0702.03007
Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P.
1989
A new attack on the RSA cryptosystem based on continued fractions. Zbl 07174176
Bunder, M.; Tonien, J.
2017
On the harmonic continued fractions. Zbl 1464.11014
Bunder, Martin; Nickolas, Peter; Tonien, Joseph
2019
On the harmonic continued fractions. Zbl 1464.11014
Bunder, Martin; Nickolas, Peter; Tonien, Joseph
2019
A generalized attack on RSA type cryptosystems. Zbl 1419.94031
Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph
2017
A new attack on the RSA cryptosystem based on continued fractions. Zbl 07174176
Bunder, M.; Tonien, J.
2017
A new attack on three variants of the RSA cryptosystem. Zbl 1346.94094
Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph
2016
Horadam functions and powers of irrationals. Zbl 1303.11027
Bunder, Martin W.
2012
Linking the Calkin-Wilf and Stern-Brocot trees. Zbl 1209.05045
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
Locating terms in the Stern-Brocot tree. Zbl 1221.05037
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
Mirroring and interleaving in the paperfolding sequence. Zbl 1265.11018
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
Some rough consequence logics and their interrelations. Zbl 1170.03334
Bunder, Martin W.; Banerjee, Mohua; Chakraborty, Mihir K.
2008
On binary reflected Gray codes and functions. Zbl 1211.94051
Bunder, Martin W.; Tognetti, Keith P.; Wheeler, Glen E.
2008
Linkages between the Gauss map and the Stern-Brocot tree. Zbl 1119.11008
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2006
Continued fractions and the Gauss map. Zbl 1102.11006
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2005
Equivalences between pure type systems and systems of illative combinatory logic. Zbl 1081.03015
Bunder, M. W.; Dekkers, W. J. M.
2005
Intersection type systems and logics related to the Meyer-Routley system $$B^+$$. Zbl 1048.03012
Bunder, Martin
2003
Intersection types for lambda-terms and combinators and their logics. Zbl 1022.03005
Bunder, Martin
2002
Pure type systems with more liberal rules. Zbl 0997.03014
Bunder, Martin; Dekkers, Wil
2001
On the self matching properties of $$[j\tau]$$. Zbl 0991.11006
Bunder, Martin; Tognetti, Keith
2001
Proof finding algorithms for implicational logics. Zbl 0972.03022
Bunder, M. W.
2000
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Zbl 0908.03016
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1998
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1998
Equivalences between illative combinatory logics and pure type systems. Zbl 0937.03021
Bunder, M. W.; Dekkers, W. J. M.; Geuvers, J. H.
1997
Lambda terms definable as combinators. Zbl 0868.03008
Bunder, M. W.
1996
Weaker $$D$$-complete logics. Zbl 0845.03010
Megill, Norman D.; Bunder, Martin W.
1996
A simplified form of condensed detachment. Zbl 0837.03010
Bunder, M. W.
1995
Combinatory abstraction using $${\mathbf B}$$, $${\mathbf B}^ \prime$$ and friends. Zbl 0838.03012
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W.
1994
Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006
Barendregt, Henk; Bunder, Martin; Dekkers, Wil
1993
Zeckendorf representations using negative Fibonacci numbers. Zbl 0751.11007
Bunder, M. W.
1992
Combinatory logic and lambda calculus with classical types. Zbl 0856.03014
Bunder, M. W.
1992
The Zeckendorf representation and the golden sequence. Zbl 0734.11016
Bunder, Martin; Tognetti, Keith
1991
Implementing the ‘Fool’s model’ of combinatory logic. Zbl 0749.03007
Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence
1991
Some improvements to Turner’s algorithm for bracket abstraction. Zbl 0714.03013
Bunder, M. W.
1990
Overlapping types in higher order predicate calculus based on combinatory logic. Zbl 0698.03005
Bunder, M. W.
1989
On adding ($$\xi$$ ) to weak equality in combinatory logic. Zbl 0702.03007
Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P.
1989
Corrections to some results for BCK logics and algebras. Zbl 0729.03007
Bunder, M. W.
1988
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic. Zbl 0614.03015
Bunder, M. W.
1987
Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality. Zbl 0623.03048
Bunder, M. W.
1986
A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004
Bunder, M. W.; Meyer, R. K.
1985
An extension of Klop’s counterexample to the Church-Rosser property to $$\lambda$$-calculus with other ordered pair combinators. Zbl 0601.03002
Bunder, M. W.
1985
Natural numbers in illative combinatory logic. Zbl 0612.03012
Bunder, M. W.
1985
Possible forms of evaluation or reduction in Martin-Löf type theory. Zbl 0612.03007
Bunder, M. W.
1985
Conjunction without conditions in illative combinatory logic. Zbl 0557.03008
Bunder, M. W.
1984
A weak absolute consistency proof for some systems of illative combinatory logic. Zbl 0527.03003
Bunder, M. W.
1983
A one axiom set theory based on higher order predicate calculus. Zbl 0537.03010
Bunder, M. W.
1983
BCK and related algebras and their corresponding logics. Zbl 0558.03033
Bunder, M. W.
1983
Predicate calculus of arbitrarily high finite order. Zbl 0528.03005
Bunder, M. W.
1983
Set theory in predicate calculus with equality. Zbl 0537.03011
Bunder, M. W.
1983
The answer to a problem of Iséki on BCI-algebras. Zbl 0545.03041
Bunder, M. W.
1983
Illative combinatory logic without equality as a primitive predicate. Zbl 0452.03008
Bunder, M. W.
1982
Deduction theorems for weak implicational logics. Zbl 0536.03001
Bunder, M. W.
1982
Some results in Aczel-Feferman logic and set theory. Zbl 0496.03034
Bunder, M. W.
1982
Simpler axioms for BCK algebras and the connection between the axioms and the combinators B, C and K. Zbl 0473.03063
Bunder, M. W.
1981
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
1980
A new hierarchy of paraconsistent logics. Zbl 0446.03020
Bunder, Martin W.
1980
Variable binding term operators in $$\lambda$$-calculus. Zbl 0407.03022
Bunder, M. W.
1979
Scott’s models and illative combinatory logic. Zbl 0349.02021
Bunder, M. W.
1979
Consistency notions in illative combinatory logic. Zbl 0382.03013
Bunder, M. W.
1978
On the inconsistency of systems similar to $$\mathcal F^*_{21}$$. Zbl 0394.03022
Bunder, M. W.; Meyer, R. K.
1978
Equality in $$\mathfrak J^*_{2\,1}$$ with restricted subjects. Zbl 0422.03002
Bunder, M. W.
1978
On the equivalence of systems of rules and systems of axioms in illative combinatory logic. Zbl 0349.02020
Bunder, M. W.
1977
Various systems of set theory based on combinatory logic. Zbl 0212.02505
Bunder, M. W.
1974
Propositional and predicate calculus based on combinatory logic. Zbl 0212.02504
Bunder, M. W.
1974
Propositional and predicate calculus based on combinatory logic. Zbl 0272.02045
Bunder, M. W.
1974
Some inconsistencies in illative combinatory logic. Zbl 0299.02031
Bunder, M. W.
1974
A deduction theorem for restricted generality. Zbl 0197.28204
Bunder, M. W.
1973
A generalised Kleene-Rosser paradox for a system containing the combinator K. Zbl 0197.28203
Bunder, M. W.
1973
A paradox in illative combinatory logic. Zbl 0185.02504
Bunder, M. W.
1970
all top 5

### Cited by 114 Authors

 31 Bunder, Martin W. 5 Bates, Bruce 5 Tognetti, Keith P. 4 Broda, Sabine 4 Chuan, Waifong 4 Dekkers, Wil J. M. 4 Hirokawa, Sachio 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 Stirton, William R. ...and 14 more Authors
all top 5

### Cited in 42 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 Bulletin of the Australian Mathematical Society 2 Annals of Pure and Applied Logic 2 International Journal of Approximate Reasoning 1 American Mathematical Monthly 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 Archive for Mathematical Logic 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

 65 Mathematical logic and foundations (03-XX) 27 Computer science (68-XX) 22 Number theory (11-XX) 19 Combinatorics (05-XX) 7 Information and communication theory, circuits (94-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 2 Category theory; homological algebra (18-XX) 2 Group theory and generalizations (20-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 Difference and functional equations (39-XX) 1 Statistical mechanics, structure of matter (82-XX)