×

zbMATH — the first resource for mathematics

Mislove, Michael W.

Compute Distance To:
Author ID: mislove.michael-w Recent zbMATH articles by "Mislove, Michael W."
Published as: Mislove, Michael; Mislove, Michael W.; Mislove, M. W.; Mislove, M.
Documents Indexed: 116 Publications since 1970, including 30 Books
all top 5

Co-Authors

30 single-authored
22 Hofmann, Karl Heinrich
8 Worrell, James B.
6 Lawson, Jimmie Don
5 Brookes, Stephen D.
5 Liukkonen, John R.
5 Main, Michael G.
5 Ouaknine, Joel O.
4 Melton, Austin C. jun.
4 Oles, Frank J.
4 Pavlović, Duško
4 Reed, George Michael
4 Roscoe, Andrew William
4 Schmidt, David A.
4 Stralka, Albert R.
3 Abramsky, Samson
3 Gastin, Paul
3 Keimel, Klaus
3 Martin, Keye
3 Priestley, Hilary A.
3 Wachter, R. F.
2 Brian, William Rea
2 Brookes, Steve
2 Gierz, Gerhard
2 Jung, Achim
2 Lindenhovius, Bert
2 Moss, Lawrence S.
2 Palamidessi, Catuscia
2 Rogers, James Ted jun.
2 Scott, Dana Stewart
2 Shakhmatov, Dmitri B.
2 van Breugel, Franck
2 Zamdzhiev, Vladimir
1 Arkhangel’skiĭ, Aleksandr Vladimirovich
1 Artemov, Sergei
1 Bauer, Andrej
1 Berger, Ulrich
1 Berglund, John F.
1 Bernett, H. R.
1 Blakey, Ed
1 Brechner, Beverly Lorraine
1 Brooks, Stephen P.
1 Carruth, J. Harvey
1 Cleaveland, Rance
1 Coecke, Bob
1 Dijkstra, Jan J.
1 Godefroy, Gilles
1 Gruenhage, Gary F.
1 Hindman, Neil
1 Hötzel Escardó, Martín
1 Kopperman, Ralph D.
1 Kozen, Dexter C.
1 Künzi, Hans-Peter A.
1 Liu, Yingming
1 Luo, Maokang
1 Lutzer, David J.
1 Marciszewski, M.
1 Morris, Sidney A.
1 Mulry, Philip S.
1 Nickolas, Peter
1 Pestov, Vladimir G.
1 Pol, Roman
1 Repovš, Dušan D.
1 Scedrov, Andre
1 Selinger, Peter
1 Semenov, Pavel Vladimirovič
1 Solecki, Sławomir
1 Strauss, Dona
1 Svetlichny, Sergey A.
1 Tennent, Robert D.
1 Tkachenko, Mikhail Gelievich
1 Toruńczyk, Henryk
1 Tsinakis, Constantine
1 van Mill, Jan
1 Watson, William Stephen

Publications by Year

Citations contained in zbMATH Open

64 Publications have been cited 1,194 times in 1,056 Documents Cited by Year
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S.
583
1980
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
280
2003
The Pontryagin duality of compact O-dimensional semilattices and its applications. Zbl 0281.06004
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
55
1974
Topology, domain theory and theoretical computer science. Zbl 0923.54027
Mislove, Michael W.
25
1998
Local compactness and continuous lattices. Zbl 0464.06005
Hofmann, Karl Heinrich; Mislove, Michael W.
16
1981
Nondeterminism and probabilistic choice: Obeying the laws. Zbl 0999.68147
Mislove, Michael
14
2000
Local dcpos, local cpos and local completions. Zbl 0924.68112
Mislove, M.
14
1999
Domain theory, testing and simulation for labelled Markov processes. Zbl 1070.68108
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
14
2005
Axioms for probability and nondeterminism. Zbl 1271.68192
Mislove, Michael; Ouaknine, Joël; Worrell, James
14
2004
Testing semantics: Connecting processes and process logics. Zbl 1236.68065
Pavlovic, Dusko; Mislove, Michael; Worrell, James B.
12
2006
Local product structures on homogeneous continua. Zbl 0674.54024
Mislove, Michael W.; Rogers, James T. jun.
11
1989
Symmetry in Fourier-Stieltjes algebras. Zbl 0295.43005
Liukkonen, John R.; Mislove, Michael W.
11
1975
Non-well-founded sets modeled as ideal fixed points. Zbl 0723.03031
Mislove, Michael W.; Moss, Lawrence S.; Oles, Frank J.
11
1991
Compact extensions of compactly generated nilpotent groups are pro-Lie. Zbl 0489.22006
Hofmann, Karl Heinrich; Liukkonen, John R.; Mislove, Michael W.
8
1982
Duality for labelled Markov processes. Zbl 1126.68460
Mislove, Michael; Ouaknine, Joël; Pavlovic, Dusko; Worrell, James
8
2004
An intrinsic characterization of approximate probabilistic bisimilarity. Zbl 1029.68112
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
6
2003
Algebraic posets, algebraic cpo’s and models of concurrency. Zbl 0792.68103
Mislove, Michael W.
6
1991
Limit laws for wide varieties of topological groups. Zbl 0892.22001
Kopperman, Ralph D.; Mislove, Michael W.; Morris, Sidney A.; Nickolas, Peter; Pestov, Vladimir; Svetlichny, Sergey
6
1996
The centralizing theorem for left normal groups of units in compact monoids. Zbl 0223.22002
Hofmann, Karl Heinrich; Mislove, Michael
6
1971
When are order scattered and topologically scattered the same? Zbl 0553.06007
Mislove, Michael
6
1984
Addendum: Local product structures on homogeneous continua. Zbl 0689.54022
Mislove, Michael W.; Rogers, James T. jun.
5
1990
Ordered sets with no infinite antichains. Zbl 0624.06001
Lawson, J. D.; Mislove, M.; Priestley, H.
4
1987
Fourier-Stieltjes algebras of compact extensions of nilpotent groups. Zbl 0449.43004
Liukkonen, John R.; Mislove, Michael W.
4
1981
Every infinite compact group can have a non-measurable subgroup. Zbl 1350.22002
Brian, W. R.; Mislove, M. W.
4
2016
The existence and structure of Irr(X). Zbl 0292.20055
Mislove, Michael W.
4
1972
Epics of compact Lawson semilattices are surjective. Zbl 0309.18001
Hofmann, Karl Heinrich; Mislove, Michael
4
1975
Order scattered distributive continuous lattices are topologically scattered. Zbl 0595.06011
Mislove, Michael W.
3
1985
Semigroups over trees. Zbl 0295.22007
Mislove, M. W.
3
1974
Full abstraction and recursion. Zbl 0878.68033
Mislove, Michael W.; Oles, Frank J.
3
1995
On the duality of semilattices and its applications to lattice theory. Zbl 0306.06004
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
3
1973
Amalgamation in categories with concrete duals. Zbl 0381.18008
Hofmann, Karl Heinrich; Mislove, Michael
3
1976
Compact affine monoids, harmonic analysis and information theory. Zbl 1266.22003
Hofmann, Karl H.; Mislove, Michael
3
2012
Anatomy of a domain of continuous random variables. II. Zbl 1264.68108
Mislove, Michael
3
2013
Free objects in the category of completely distributive lattices. Zbl 0576.18001
Hofmann, Karl Heinrich; Mislove, Michael
2
1985
Mathematical foundations of programming language semantics. 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings. Zbl 0635.00016
Main, M. (ed.); Melton, A. (ed.); Mislove, M. (ed.); Schmidt, D. (ed.)
2
1988
Monoids over domains. Zbl 1113.06004
Mislove, Michael
2
2006
From Haar to Lebesgue via domain theory. Zbl 1414.28024
Brian, Will; Mislove, Michael
2
2014
Anatomy of a domain of continuous random variables. I. Zbl 1417.68094
Mislove, Michael
2
2014
Adjunctions between categories of domains. Zbl 0820.18001
Mislove, Michael W.; Oles, Frank J.
2
1995
A truly concurrent semantics for a simple parallel programming language. Zbl 0944.68123
Gastin, Paul; Mislove, Michael
2
1999
The existence of Irr(X). Zbl 0264.22003
Mislove, M. W.
2
1973
A simple process algebra based on atomic actions with resources. Zbl 1102.68083
Gastin, Paul; Mislove, Michael
2
2004
On the dimensional capacity of compact semilattices. Zbl 0313.22003
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
2
1975
Discrete random variables over domains. Zbl 1118.68084
Mislove, Michael
2
2007
Semilattices which must contain a copy of \(2^ N\). Zbl 0564.06003
Lawson, Jimmie D.; Mislove, Michael
1
1985
Infinite antichains in semilattices. Zbl 0584.06002
Lawson, J. D.; Mislove, Michael; Priestley, Hilary A.
1
1985
On the Smyth power domain. Zbl 0666.06005
Mislove, Michael
1
1988
Discrete random variables over domains. Zbl 1085.68084
Mislove, M. W.
1
2005
Measure algebras of locally compact semilattices. Zbl 0516.43001
Liukkonen, John R.; Mislove, Michael
1
1983
Principles underlying the degeneracy of topological models of the untyped lambda calculus. Zbl 0907.18004
Hofmann, Karl H.; Mislove, Michael W.
1
1996
Electronic access for topology resources. Zbl 0911.54001
Brechner, B.; Mislove, M.; Shakhmatov, D.; Watson, S.
1
1996
Discrete random variables over domains, revisited. Zbl 06852770
Mislove, Michael
1
2017
All compact Hausdorff lambda models are degenerate. Zbl 0818.03005
Hofmann, Karl Heinrich; Mislove, M. W.
1
1995
Fixed points without completeness. Zbl 0874.68186
Mislove, M. W.; Roscoe, A. W.; Schneider, S. A.
1
1995
A truly concurrent semantics for a process algebra using resource pomsets. Zbl 0997.68081
Gastin, Paul; Mislove, Michael
1
2002
Mathematical foundations of programming semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993. Proceedings. Zbl 0825.00084
Brookes, Stephen (ed.); Main, Michael G. (ed.); Melton, Austin C. jun. (ed.); Mislove, Michael (ed.); Schmidt, David (ed.)
1
1994
The existence of Irr(X). Zbl 0217.08501
Mislove, M. W.
1
1970
Representations by HL-semigroups. Zbl 0218.22006
Mislove, M. W.
1
1971
Dimension raising maps in topological algebra. Zbl 0258.22007
Hofmann, Karl-Heinrich; Mislove, Michael; Stralka, Albert
1
1973
Measuring the probabilistic powerdomain. Zbl 1056.68100
Martin, Keye; Mislove, Michael; Worrell, James
1
2002
The lattice of kernel operators and topological algebra. Zbl 0337.06004
Hofmann, Karl Heinrich; Mislove, Michael W.
1
1977
Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Zbl 1281.68036
Mislove, Michael (ed.); Ouaknine, Joël (ed.)
1
2011
Infinite antichains and duality theories. Zbl 0685.06004
Lawson, Jimmie D.; Mislove, Michael; Priestley, Hilary A.
1
1988
Enriching a linear/non-linear lambda calculus: a programming language for string diagrams. Zbl 1454.03023
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
1
2018
Enriching a linear/non-linear lambda calculus: a programming language for string diagrams. Zbl 1454.03023
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
1
2018
Discrete random variables over domains, revisited. Zbl 06852770
Mislove, Michael
1
2017
Every infinite compact group can have a non-measurable subgroup. Zbl 1350.22002
Brian, W. R.; Mislove, M. W.
4
2016
From Haar to Lebesgue via domain theory. Zbl 1414.28024
Brian, Will; Mislove, Michael
2
2014
Anatomy of a domain of continuous random variables. I. Zbl 1417.68094
Mislove, Michael
2
2014
Anatomy of a domain of continuous random variables. II. Zbl 1264.68108
Mislove, Michael
3
2013
Compact affine monoids, harmonic analysis and information theory. Zbl 1266.22003
Hofmann, Karl H.; Mislove, Michael
3
2012
Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Zbl 1281.68036
Mislove, Michael; Ouaknine, Joël
1
2011
Discrete random variables over domains. Zbl 1118.68084
Mislove, Michael
2
2007
Testing semantics: Connecting processes and process logics. Zbl 1236.68065
Pavlovic, Dusko; Mislove, Michael; Worrell, James B.
12
2006
Monoids over domains. Zbl 1113.06004
Mislove, Michael
2
2006
Domain theory, testing and simulation for labelled Markov processes. Zbl 1070.68108
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
14
2005
Discrete random variables over domains. Zbl 1085.68084
Mislove, M. W.
1
2005
Axioms for probability and nondeterminism. Zbl 1271.68192
Mislove, Michael; Ouaknine, Joël; Worrell, James
14
2004
Duality for labelled Markov processes. Zbl 1126.68460
Mislove, Michael; Ouaknine, Joël; Pavlovic, Dusko; Worrell, James
8
2004
A simple process algebra based on atomic actions with resources. Zbl 1102.68083
Gastin, Paul; Mislove, Michael
2
2004
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
280
2003
An intrinsic characterization of approximate probabilistic bisimilarity. Zbl 1029.68112
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
6
2003
A truly concurrent semantics for a process algebra using resource pomsets. Zbl 0997.68081
Gastin, Paul; Mislove, Michael
1
2002
Measuring the probabilistic powerdomain. Zbl 1056.68100
Martin, Keye; Mislove, Michael; Worrell, James
1
2002
Nondeterminism and probabilistic choice: Obeying the laws. Zbl 0999.68147
Mislove, Michael
14
2000
Local dcpos, local cpos and local completions. Zbl 0924.68112
Mislove, M.
14
1999
A truly concurrent semantics for a simple parallel programming language. Zbl 0944.68123
Gastin, Paul; Mislove, Michael
2
1999
Topology, domain theory and theoretical computer science. Zbl 0923.54027
Mislove, Michael W.
25
1998
Limit laws for wide varieties of topological groups. Zbl 0892.22001
Kopperman, Ralph D.; Mislove, Michael W.; Morris, Sidney A.; Nickolas, Peter; Pestov, Vladimir; Svetlichny, Sergey
6
1996
Principles underlying the degeneracy of topological models of the untyped lambda calculus. Zbl 0907.18004
Hofmann, Karl H.; Mislove, Michael W.
1
1996
Electronic access for topology resources. Zbl 0911.54001
Brechner, B.; Mislove, M.; Shakhmatov, D.; Watson, S.
1
1996
Full abstraction and recursion. Zbl 0878.68033
Mislove, Michael W.; Oles, Frank J.
3
1995
Adjunctions between categories of domains. Zbl 0820.18001
Mislove, Michael W.; Oles, Frank J.
2
1995
All compact Hausdorff lambda models are degenerate. Zbl 0818.03005
Hofmann, Karl Heinrich; Mislove, M. W.
1
1995
Fixed points without completeness. Zbl 0874.68186
Mislove, M. W.; Roscoe, A. W.; Schneider, S. A.
1
1995
Mathematical foundations of programming semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993. Proceedings. Zbl 0825.00084
Brookes, Stephen; Main, Michael G.; Melton, Austin C. jun.; Mislove, Michael; Schmidt, David
1
1994
Non-well-founded sets modeled as ideal fixed points. Zbl 0723.03031
Mislove, Michael W.; Moss, Lawrence S.; Oles, Frank J.
11
1991
Algebraic posets, algebraic cpo’s and models of concurrency. Zbl 0792.68103
Mislove, Michael W.
6
1991
Addendum: Local product structures on homogeneous continua. Zbl 0689.54022
Mislove, Michael W.; Rogers, James T. jun.
5
1990
Local product structures on homogeneous continua. Zbl 0674.54024
Mislove, Michael W.; Rogers, James T. jun.
11
1989
Mathematical foundations of programming language semantics. 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings. Zbl 0635.00016
Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
2
1988
On the Smyth power domain. Zbl 0666.06005
Mislove, Michael
1
1988
Infinite antichains and duality theories. Zbl 0685.06004
Lawson, Jimmie D.; Mislove, Michael; Priestley, Hilary A.
1
1988
Ordered sets with no infinite antichains. Zbl 0624.06001
Lawson, J. D.; Mislove, M.; Priestley, H.
4
1987
Order scattered distributive continuous lattices are topologically scattered. Zbl 0595.06011
Mislove, Michael W.
3
1985
Free objects in the category of completely distributive lattices. Zbl 0576.18001
Hofmann, Karl Heinrich; Mislove, Michael
2
1985
Semilattices which must contain a copy of \(2^ N\). Zbl 0564.06003
Lawson, Jimmie D.; Mislove, Michael
1
1985
Infinite antichains in semilattices. Zbl 0584.06002
Lawson, J. D.; Mislove, Michael; Priestley, Hilary A.
1
1985
When are order scattered and topologically scattered the same? Zbl 0553.06007
Mislove, Michael
6
1984
Measure algebras of locally compact semilattices. Zbl 0516.43001
Liukkonen, John R.; Mislove, Michael
1
1983
Compact extensions of compactly generated nilpotent groups are pro-Lie. Zbl 0489.22006
Hofmann, Karl Heinrich; Liukkonen, John R.; Mislove, Michael W.
8
1982
Local compactness and continuous lattices. Zbl 0464.06005
Hofmann, Karl Heinrich; Mislove, Michael W.
16
1981
Fourier-Stieltjes algebras of compact extensions of nilpotent groups. Zbl 0449.43004
Liukkonen, John R.; Mislove, Michael W.
4
1981
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S.
583
1980
The lattice of kernel operators and topological algebra. Zbl 0337.06004
Hofmann, Karl Heinrich; Mislove, Michael W.
1
1977
Amalgamation in categories with concrete duals. Zbl 0381.18008
Hofmann, Karl Heinrich; Mislove, Michael
3
1976
Symmetry in Fourier-Stieltjes algebras. Zbl 0295.43005
Liukkonen, John R.; Mislove, Michael W.
11
1975
Epics of compact Lawson semilattices are surjective. Zbl 0309.18001
Hofmann, Karl Heinrich; Mislove, Michael
4
1975
On the dimensional capacity of compact semilattices. Zbl 0313.22003
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
2
1975
The Pontryagin duality of compact O-dimensional semilattices and its applications. Zbl 0281.06004
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
55
1974
Semigroups over trees. Zbl 0295.22007
Mislove, M. W.
3
1974
On the duality of semilattices and its applications to lattice theory. Zbl 0306.06004
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
3
1973
The existence of Irr(X). Zbl 0264.22003
Mislove, M. W.
2
1973
Dimension raising maps in topological algebra. Zbl 0258.22007
Hofmann, Karl-Heinrich; Mislove, Michael; Stralka, Albert
1
1973
The existence and structure of Irr(X). Zbl 0292.20055
Mislove, Michael W.
4
1972
The centralizing theorem for left normal groups of units in compact monoids. Zbl 0223.22002
Hofmann, Karl Heinrich; Mislove, Michael
6
1971
Representations by HL-semigroups. Zbl 0218.22006
Mislove, M. W.
1
1971
The existence of Irr(X). Zbl 0217.08501
Mislove, M. W.
1
1970
all top 5

Cited by 880 Authors

28 Erné, Marcel
25 Mislove, Michael W.
24 Shi, Fu-Gui
23 Li, Qingguo
19 Kubiak, Tomasz
19 Lawson, Jimmie Don
18 Zhang, Dexue
16 Hofmann, Karl Heinrich
16 Xi, Xiaoyong
15 Zhao, Dongsheng
14 Xu, Xiaoquan
13 Brown, Lawrence Michael
13 Keimel, Klaus
13 Xu, Luoshan
12 Luo, Maokang
11 Hofmann, Dirk
10 Jäger, Gunther
10 Liu, Yingming
10 Solovyov, Sergey A.
9 Goubault-Larrecq, Jean
9 Höhle, Ulrich
9 Hötzel Escardó, Martín
9 Kopperman, Ralph D.
9 Kou, Hui
9 Kudri, Soraya R. T.
9 Paseka, Jan
9 Priestley, Hilary A.
9 Yildiz, Filiz
9 Zhao, Bin
8 Bezhanishvili, Guram
8 Davey, Brian A.
8 Edalat, Abbas
8 Li, Shenggang
8 Šostak, Alexander P.
8 Stralka, Albert R.
8 Warner, Mary Wynne
7 Ertürk, Rıza
7 Georgiou, Dimitrios N.
7 Gierz, Gerhard
7 Guo, Lankun
7 Gutiérrez García, Javier
7 Harding, John
7 Mao, Xuxin
7 Plotkin, Gordon D.
7 Pultr, Aleš
7 Romanowska, Anna B.
7 Zhang, Wenfeng
6 Bonsangue, Marcello Maria
6 Fang, Jinming
6 Jung, Achim
6 Kaniuth, Eberhard
6 Liang, Jihua
6 Spreen, Dieter
6 Valero, Oscar
5 Aygün, Halis
5 Choe, Tae Ho
5 Guido, Cosimo
5 Gutik, Oleg Volodymyrovych
5 Haviar, Miroslav
5 Heckmann, Reinhold
5 Ho, Weng Kin
5 Iliadis, Stavros D.
5 Klin, Bartek
5 Künzi, Hans-Peter A.
5 Li, Sanjiang
5 Morsi, Nehad Nashaat
5 Papadopoulos, Kyriakos
5 Pouzet, Maurice
5 Romaguera Bonilla, Salvador
5 Ronse, Christian
5 Selivanov, Viktor L’vovich
5 Silva, Alexandra
5 Smith, Jonathan Dallas Hayden
5 Wang, Guojun
5 Yue, Yueli
5 Zhang, Zhongxi
5 Zheng, Chongyou
4 Adaricheva, Kira Vladislavovna
4 Alessi, Fabio
4 Banakh, Taras Onufrievich
4 Bonchi, Filippo
4 Chen, Yixiang
4 de Prada Vicente, María Angeles
4 Demirci, Mustafa
4 Deng, Yuxin
4 Ivanoff, B. Gail
4 Mardones-Pérez, Iraide
4 Merzbach, Ely
4 Mohebi, Hossein
4 Moshier, M. Andrew
4 Mynard, Frédéric
4 Oversteegen, Lex G.
4 Palamidessi, Catuscia
4 Papadopoulos, Basil K.
4 Ranzato, Francesco
4 Rodabaugh, Stephen Ernest
4 Schwidefsky, Marina V.
4 Sünderhauf, Philipp
4 Wehrung, Friedrich
4 Worrell, James B.
...and 780 more Authors
all top 5

Cited in 190 Serials

140 Fuzzy Sets and Systems
89 Topology and its Applications
79 Theoretical Computer Science
55 Semigroup Forum
44 Algebra Universalis
34 MSCS. Mathematical Structures in Computer Science
31 Order
31 Applied Categorical Structures
27 Journal of Pure and Applied Algebra
18 Transactions of the American Mathematical Society
17 Information and Computation
15 Proceedings of the American Mathematical Society
14 Journal of Mathematical Analysis and Applications
12 Soft Computing
12 Logical Methods in Computer Science
10 Mathematische Zeitschrift
10 Quaestiones Mathematicae
10 Iranian Journal of Fuzzy Systems
9 Information Sciences
9 The Journal of Symbolic Logic
9 Annals of Pure and Applied Logic
7 Cahiers de Topologie et Géométrie Différentielle Catégoriques
7 Studia Logica
7 Mathematical Logic Quarterly (MLQ)
7 Acta Mathematica Sinica. English Series
6 Archiv der Mathematik
5 International Journal of Mathematics and Mathematical Sciences
5 Journal of the Australian Mathematical Society
4 Computers & Mathematics with Applications
4 Israel Journal of Mathematics
4 Mathematica Slovaca
4 International Journal of Algebra and Computation
4 Topology Proceedings
4 Abstract and Applied Analysis
4 Cahiers de Topologie et Géométrie Différentielle Catégoriques
4 Journal of Intelligent and Fuzzy Systems
4 Applied General Topology
3 Bulletin of the Australian Mathematical Society
3 Communications in Algebra
3 Discrete Mathematics
3 Information Processing Letters
3 Advances in Mathematics
3 Demonstratio Mathematica
3 Journal of Algebra
3 Chinese Annals of Mathematics. Series B
3 International Journal of Computer Mathematics
3 Archive for Mathematical Logic
3 Applicable Algebra in Engineering, Communication and Computing
3 Journal of Mathematical Imaging and Vision
3 Journal of Applied Non-Classical Logics
3 Journal of the Egyptian Mathematical Society
3 The Bulletin of Symbolic Logic
3 Theory and Applications of Categories
3 Journal of Applied Logic
3 Fuzzy Information and Engineering
3 Axioms
3 Open Mathematics
3 Categories and General Algebraic Structures with Applications
2 Houston Journal of Mathematics
2 International Journal of Theoretical Physics
2 Mathematical Proceedings of the Cambridge Philosophical Society
2 Rocky Mountain Journal of Mathematics
2 Studia Mathematica
2 Algebra and Logic
2 Czechoslovak Mathematical Journal
2 Journal of Computer and System Sciences
2 Journal of Functional Analysis
2 Journal of Soviet Mathematics
2 Kybernetika
2 Matematički Vesnik
2 Mathematische Nachrichten
2 Numerical Functional Analysis and Optimization
2 Statistics & Probability Letters
2 Acta Mathematica Hungarica
2 Optimization
2 Probability Theory and Related Fields
2 International Journal of Approximate Reasoning
2 Journal of Theoretical Probability
2 Science in China. Series A
2 Formal Aspects of Computing
2 Geometric and Functional Analysis. GAFA
2 Linear Algebra and its Applications
2 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics
2 Chinese Science Bulletin
2 Indagationes Mathematicae. New Series
2 Journal of Mathematical Sciences (New York)
2 Bulletin des Sciences Mathématiques
2 Constraints
2 Positivity
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 The Journal of Logic and Algebraic Programming
2 European Journal of Pure and Applied Mathematics
2 Acta Universitatis Sapientiae. Mathematica
2 The Review of Symbolic Logic
2 Carpathian Mathematical Publications
2 Topological Algebra and its Applications
2 Sahand Communications in Mathematical Analysis
2 Journal of Logical and Algebraic Methods in Programming
1 Modern Physics Letters A
1 Acta Mathematica Academiae Scientiarum Hungaricae
...and 90 more Serials
all top 5

Cited in 46 Fields

516 Order, lattices, ordered algebraic structures (06-XX)
471 General topology (54-XX)
234 Computer science (68-XX)
199 Category theory; homological algebra (18-XX)
183 Mathematical logic and foundations (03-XX)
75 Topological groups, Lie groups (22-XX)
50 General algebraic systems (08-XX)
38 Functional analysis (46-XX)
37 Group theory and generalizations (20-XX)
23 Probability theory and stochastic processes (60-XX)
19 Measure and integration (28-XX)
19 Abstract harmonic analysis (43-XX)
14 Convex and discrete geometry (52-XX)
11 Associative rings and algebras (16-XX)
11 Algebraic topology (55-XX)
11 Manifolds and cell complexes (57-XX)
10 Dynamical systems and ergodic theory (37-XX)
10 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
9 Real functions (26-XX)
8 Number theory (11-XX)
8 Operator theory (47-XX)
6 Combinatorics (05-XX)
6 Commutative algebra (13-XX)
6 Quantum theory (81-XX)
5 History and biography (01-XX)
5 Approximations and expansions (41-XX)
5 Differential geometry (53-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Calculus of variations and optimal control; optimization (49-XX)
4 Geometry (51-XX)
4 Numerical analysis (65-XX)
4 Relativity and gravitational theory (83-XX)
3 \(K\)-theory (19-XX)
3 Statistics (62-XX)
3 Operations research, mathematical programming (90-XX)
2 General and overarching topics; collections (00-XX)
2 Algebraic geometry (14-XX)
2 Global analysis, analysis on manifolds (58-XX)
2 Systems theory; control (93-XX)
2 Information and communication theory, circuits (94-XX)
1 Field theory and polynomials (12-XX)
1 Nonassociative rings and algebras (17-XX)
1 Potential theory (31-XX)
1 Ordinary differential equations (34-XX)
1 Integral transforms, operational calculus (44-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year