×

zbMATH — the first resource for mathematics

Goguen, Joseph Amadee

Compute Distance To:
Author ID: goguen.joseph-amadee Recent zbMATH articles by "Goguen, Joseph Amadee"
Published as: Goguen, J.; Goguen, J. A.; Goguen, J. A. jun.; Goguen, Joseph; Goguen, Joseph A.; Goguen, Joseph A. jun.
Documents Indexed: 88 Publications since 1967, including 3 Books
Biographic References: 4 Publications

Publications by Year

Citations contained in zbMATH Open

79 Publications have been cited 2,724 times in 1,820 Documents Cited by Year
L-fuzzy sets. Zbl 0145.24404
Goguen, J. A.
776
1967
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
199
1992
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
198
1977
The logic of inexact concepts. Zbl 0184.00903
Goguen, J. A.
196
1969
The fuzzy Tychonoff theorem. Zbl 0278.54003
Goguen, J. A.
121
1973
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
96
1992
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
69
1980
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
59
1984
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
52
1985
Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055
Goguen, Joseph A. jun.
47
1974
Institution morphisms. Zbl 1001.68019
Goguen, Joseph; Roşu, Grigore
44
2002
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
44
1982
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
41
1982
A hidden agenda. Zbl 0946.68070
Goguen, Joseph A.; Malcolm, Grant
37
2000
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
32
1985
How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043
Goguen, J. A.
29
1980
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
29
1976
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
27
1987
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
27
1984
Minimal realization of machines in closed categories. Zbl 0277.18003
Goguen, J. A.
26
1972
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
25
2012
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
25
1991
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
23
1994
A categorical manifesto. Zbl 0747.18001
Goguen, Joseph A.
22
1991
Realization is universal. Zbl 0248.18015
Goguen, J. A.
22
1973
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
21
1993
Categories of V-sets. Zbl 0177.02401
Goguen, J. A.
21
1969
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
20
1985
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
19
1996
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
19
1989
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
18
1994
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
18
1982
A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002
Goguen, Joseph A.; Burstall, R. M.
17
1986
Types as theories. Zbl 0792.68100
Goguen, Joseph A.
16
1991
Abstract errors for abstract data types. Zbl 0373.68024
Goguen, Joseph A.
16
1978
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
16
1975
Composing hidden information modules over inclusive institutions. Zbl 1278.68203
Goguen, Joseph; Rosu, Grigore
14
2004
Hiding more of hidden algebra. Zbl 0953.68094
Goguen, Joseph; Roşu, Grigore
14
1999
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
14
1984
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
13
1988
Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067
Goguen, Joseph A.; Malcolm, Grant
12
1999
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. Zbl 0566.68065
Goguen, J. A.; Burstall, R. M.
12
1984
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010
Goguen, J. A. jun.
12
1974
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
10
2005
Parallel realization of systems, using factorizations and quotients in categories. Zbl 0333.93002
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1976
Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005
Goguen, Joseph A.
9
1992
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066
Goguen, J. A.; Burstall, R. M.
9
1984
Semantics of computation. Zbl 0306.68028
Goguen, J. A.
9
1975
Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002
Goguen, J. A.
9
1975
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
8
2000
Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014
Goguen, Joseph A.; Parsaye-Ghomi, Kamran
8
1981
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
7
2000
Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121
Goguen, Joseph A.; Lin, Kai; Roşu, Grigore
6
2003
Remarks on remarks on many-sorted equational logic. Zbl 1023.68630
Goguen, Joseph A.; Meseguer, José
6
1986
Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019
Goguen, J. A.; Meseguer, J.
6
1983
Correctness of recursive flow diagram programs. Zbl 0354.68028
Goguen, J. A.; Meseguer, J.
6
1977
Objects. Zbl 0336.18001
Goguen, Joseph A.
5
1974
What is a logic? In memoriam Joseph Goguen. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
Data, schema, ontology and logic integration. Zbl 1094.68018
Goguen, Joseph A.
4
2005
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
4
2002
On equational Craig interpolation. Zbl 0962.03026
Rosu, Grigore; Goguen, Joseph
4
2000
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
4
1987
Correctness and equivalence of data types. Zbl 0387.68013
Goguen, J. A.
4
1976
What is a concept? Zbl 1132.68059
Goguen, Joseph
3
2005
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
3
1998
Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
3
1992
Memories of ADJ. Zbl 0709.68027
Goguen, Joseph A.
3
1989
One, none, a hundred thousand specification languages. Zbl 0606.68010
Goguen, Joseph A.
3
1986
Systems and distinctions; duality and complementarity. Zbl 0403.93003
Goguen, Joseph A.; Varela, Francisco J.
3
1979
On fuzzy robot planning. Zbl 0341.68062
Goguen, J. A.
3
1975
Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021
Goguen, Joseph A.
2
1988
Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs. Zbl 0456.68011
Goguen, Joseph A.
2
1979
A categorical approach to general systems. Zbl 0409.93002
Ginali, Susanna; Goguen, Joseph
2
1978
System theory concepts in computer science. Zbl 0362.68029
Goguen, J. A.
2
1973
Specifying, programming and verifying with equational logic. Zbl 1221.68155
Goguen, Joseph; Lin, Kai
1
2005
Web-based support for cooperative software engineering. Zbl 0985.68586
Goguen, Joseph A.; Lin, Kai
1
2001
FUNNEL: A CHDL with formal semantics. Zbl 0794.68020
Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N.
1
1992
Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
1
1987
Axioms for discrimination information. Zbl 0315.94020
Goguen, J. A.; Carlson, L. A.
1
1975
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
25
2012
What is a logic? In memoriam Joseph Goguen. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
10
2005
Data, schema, ontology and logic integration. Zbl 1094.68018
Goguen, Joseph A.
4
2005
What is a concept? Zbl 1132.68059
Goguen, Joseph
3
2005
Specifying, programming and verifying with equational logic. Zbl 1221.68155
Goguen, Joseph; Lin, Kai
1
2005
Composing hidden information modules over inclusive institutions. Zbl 1278.68203
Goguen, Joseph; Rosu, Grigore
14
2004
Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121
Goguen, Joseph A.; Lin, Kai; Roşu, Grigore
6
2003
Institution morphisms. Zbl 1001.68019
Goguen, Joseph; Roşu, Grigore
44
2002
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
4
2002
Web-based support for cooperative software engineering. Zbl 0985.68586
Goguen, Joseph A.; Lin, Kai
1
2001
A hidden agenda. Zbl 0946.68070
Goguen, Joseph A.; Malcolm, Grant
37
2000
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
8
2000
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
7
2000
On equational Craig interpolation. Zbl 0962.03026
Rosu, Grigore; Goguen, Joseph
4
2000
Hiding more of hidden algebra. Zbl 0953.68094
Goguen, Joseph; Roşu, Grigore
14
1999
Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067
Goguen, Joseph A.; Malcolm, Grant
12
1999
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
3
1998
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
19
1996
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
23
1994
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
18
1994
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
21
1993
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
199
1992
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
96
1992
Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005
Goguen, Joseph A.
9
1992
Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
3
1992
FUNNEL: A CHDL with formal semantics. Zbl 0794.68020
Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N.
1
1992
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
25
1991
A categorical manifesto. Zbl 0747.18001
Goguen, Joseph A.
22
1991
Types as theories. Zbl 0792.68100
Goguen, Joseph A.
16
1991
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
19
1989
Memories of ADJ. Zbl 0709.68027
Goguen, Joseph A.
3
1989
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
13
1988
Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021
Goguen, Joseph A.
2
1988
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
27
1987
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
4
1987
Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
1
1987
A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002
Goguen, Joseph A.; Burstall, R. M.
17
1986
Remarks on remarks on many-sorted equational logic. Zbl 1023.68630
Goguen, Joseph A.; Meseguer, José
6
1986
One, none, a hundred thousand specification languages. Zbl 0606.68010
Goguen, Joseph A.
3
1986
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
52
1985
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
32
1985
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
20
1985
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
59
1984
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
27
1984
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
14
1984
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. Zbl 0566.68065
Goguen, J. A.; Burstall, R. M.
12
1984
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066
Goguen, J. A.; Burstall, R. M.
9
1984
Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019
Goguen, J. A.; Meseguer, J.
6
1983
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
44
1982
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
41
1982
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
18
1982
Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014
Goguen, Joseph A.; Parsaye-Ghomi, Kamran
8
1981
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
69
1980
How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043
Goguen, J. A.
29
1980
Systems and distinctions; duality and complementarity. Zbl 0403.93003
Goguen, Joseph A.; Varela, Francisco J.
3
1979
Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs. Zbl 0456.68011
Goguen, Joseph A.
2
1979
Abstract errors for abstract data types. Zbl 0373.68024
Goguen, Joseph A.
16
1978
A categorical approach to general systems. Zbl 0409.93002
Ginali, Susanna; Goguen, Joseph
2
1978
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
198
1977
Correctness of recursive flow diagram programs. Zbl 0354.68028
Goguen, J. A.; Meseguer, J.
6
1977
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
29
1976
Parallel realization of systems, using factorizations and quotients in categories. Zbl 0333.93002
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1976
Correctness and equivalence of data types. Zbl 0387.68013
Goguen, J. A.
4
1976
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
16
1975
Semantics of computation. Zbl 0306.68028
Goguen, J. A.
9
1975
Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002
Goguen, J. A.
9
1975
On fuzzy robot planning. Zbl 0341.68062
Goguen, J. A.
3
1975
Axioms for discrimination information. Zbl 0315.94020
Goguen, J. A.; Carlson, L. A.
1
1975
Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055
Goguen, Joseph A. jun.
47
1974
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010
Goguen, J. A. jun.
12
1974
Objects. Zbl 0336.18001
Goguen, Joseph A.
5
1974
The fuzzy Tychonoff theorem. Zbl 0278.54003
Goguen, J. A.
121
1973
Realization is universal. Zbl 0248.18015
Goguen, J. A.
22
1973
System theory concepts in computer science. Zbl 0362.68029
Goguen, J. A.
2
1973
Minimal realization of machines in closed categories. Zbl 0277.18003
Goguen, J. A.
26
1972
The logic of inexact concepts. Zbl 0184.00903
Goguen, J. A.
196
1969
Categories of V-sets. Zbl 0177.02401
Goguen, J. A.
21
1969
L-fuzzy sets. Zbl 0145.24404
Goguen, J. A.
776
1967
all top 5

Cited by 1,740 Authors

55 Meseguer Guaita, José
30 Diaconescu, Răzvan
28 Bělohlávek, Radim
24 Kerre, Etienne E.
23 Deschrijver, Glad
22 Tarlecki, Andrzej
22 Vychodil, Vilém
21 Goguen, Joseph Amadee
21 Solovyov, Sergey A.
20 Mossakowski, Till
19 Höhle, Ulrich
19 Tepavčević, Andreja
18 Gerla, Giangiacomo
17 Roşu, Grigore
17 Šešelja, Branimir
16 Hennicker, Rolf
16 Sannella, Donald T.
16 Šostak, Alexander P.
15 Courcelle, Bruno
14 Ehrig, Hartmut
14 Ésik, Zoltán
14 Prade, Henri M.
13 Dubois, Didier
13 Rodabaugh, Stephen Ernest
12 Bayoumi, Fatma
12 Bustince, Humberto
12 Hu, Baoqing
12 Rabe, Florian
12 Voutsadakis, George
11 Gottwald, Siegfried
11 Kramosil, Ivan
11 Mesiar, Radko
11 Orejas, Fernando
10 Durán, Francisco
10 Fang, Jinming
10 Futatsugi, Kokichi
10 Lucanu, Dorel
10 Martins, Manuel António
10 Pedrycz, Witold
10 Wirsing, Martin
10 Zadeh, Lotfi Asker
9 Aiguier, Marc
9 Bidoit, Michel
9 Corradini, Andrea
9 Di Nola, Antonio
9 Gallier, Jean H.
9 Lucas, Salvador
9 Ojeda-Aciego, Manuel
9 Saadati, Reza
9 Shi, Fu-Gui
9 Xu, Yang
9 Yao, Wei
9 Zhao, Bin
8 Gaĭnă, Daniel
8 Madeira, Alexandre
8 Manes, Ernest G.
8 Martí-Oliet, Narciso
8 Montanari, Ugo G.
8 Novák, Vilém
8 Ogata, Kazuhiro
8 Parisi-Presicce, Francesco
8 Tiwari, S. P.
8 Wagner, Eric G.
7 Arbib, Michael A.
7 Bloom, Stephen L.
7 Clavel, Manuel
7 Drewniak, Józef
7 Eklund, Patrik E.
7 Escobar, Santiago
7 Gähler, Werner
7 Gil, María Angeles
7 Guido, Cosimo
7 Kirchner, Hélène
7 Kortelainen, Jari
7 Lowen, Robert
7 Maibaum, Thomas Stephen Edward
7 Stout, Lawrence Neff
6 Barrenechea, Edurne
6 Brown, Lawrence Michael
6 Codescu, Mihai
6 Cornelis, Chris
6 De Baets, Bernard
6 Gadducci, Fabio
6 Gil, Pedro A.
6 Katsaras, Athanasios K.
6 Kawahara, Yasuo
6 Kubiak, Tomasz
6 Li, Qingguo
6 Liu, Jun
6 Padawitz, Peter
6 Ramadan, Ahmed Abd El-Kader
6 Rutten, Jan J. M. M.
6 Sessa, Salvatore
6 Srivastava, Arun Kamar
6 Sussner, Peter
6 Swamy, U. Maddana
6 Trillas, Enric
6 Vogler, Heiko
6 Wang, Chunyong
6 Wang, Guojun
...and 1,640 more Authors
all top 5

Cited in 177 Serials

422 Fuzzy Sets and Systems
219 Theoretical Computer Science
101 Information Sciences
61 Journal of Mathematical Analysis and Applications
51 Journal of Computer and System Sciences
37 International Journal of General Systems
34 International Journal of Approximate Reasoning
33 Information and Computation
29 Soft Computing
27 Acta Informatica
23 MSCS. Mathematical Structures in Computer Science
23 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
23 Journal of Intelligent and Fuzzy Systems
22 Journal of Symbolic Computation
19 Studia Logica
18 Formal Aspects of Computing
17 Computers & Mathematics with Applications
17 Information Processing Letters
17 Iranian Journal of Fuzzy Systems
15 Journal of Logical and Algebraic Methods in Programming
13 The Journal of Logic and Algebraic Programming
12 Artificial Intelligence
12 Kybernetika
12 Synthese
12 Annals of Mathematics and Artificial Intelligence
12 Logica Universalis
11 Journal of Automated Reasoning
9 Cybernetics and Systems Analysis
9 New Mathematics and Natural Computation
8 Chaos, Solitons and Fractals
7 Journal of Pure and Applied Algebra
7 Mathematical Systems Theory
7 Quaestiones Mathematicae
7 Archive for Mathematical Logic
7 Mathematical Logic Quarterly (MLQ)
7 Journal of the Egyptian Mathematical Society
6 Kybernetes
6 International Journal of Intelligent Systems
6 Journal of Applied Mathematics and Computing
6 Korean Journal of Mathematics
5 Algebra Universalis
5 Czechoslovak Mathematical Journal
5 International Journal of Mathematics and Mathematical Sciences
5 The Journal of Symbolic Logic
5 RAIRO, Informatique Théorique
5 Annals of Pure and Applied Logic
5 Journal of Computer Science and Technology
5 Journal of Functional Programming
5 RAIRO. Theoretical Informatics and Applications
5 Fuzzy Optimization and Decision Making
4 Applied Mathematics and Computation
4 Manuscripta Mathematica
4 Cybernetics and Systems
4 European Journal of Operational Research
4 International Journal of Computer Mathematics
4 Journal of Applied Non-Classical Logics
4 Diagrammes
4 Journal of Applied Logic
4 Logical Methods in Computer Science
4 Fuzzy Information and Engineering
3 International Journal of Theoretical Physics
3 Theory and Decision
3 Topology and its Applications
3 International Journal of Foundations of Computer Science
3 Linear Algebra and its Applications
3 Applied Categorical Structures
3 Russian Journal of Mathematical Physics
3 Journal of Inequalities and Applications
3 Fixed Point Theory and Applications
3 Advances in Fuzzy Systems
3 Axioms
2 Bulletin of the Australian Mathematical Society
2 Aplikace Matematiky
2 Automatica
2 BIT
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 International Journal of Computer & Information Sciences
2 Journal of Philosophical Logic
2 Mathematica Slovaca
2 Notre Dame Journal of Formal Logic
2 Rendiconti del Circolo Matemàtico di Palermo. Serie II
2 Trabajos de Estadistica y de Investigacion Operativa
2 Mathematical Social Sciences
2 International Journal of Production Research
2 Social Choice and Welfare
2 Order
2 RAIRO. Informatique Théorique et Applications
2 Formal Methods in System Design
2 Journal of Mathematical Sciences (New York)
2 Journal of Applied Mathematics
2 ACM Transactions on Computational Logic
2 Bulletin of the American Mathematical Society
2 Mathematics in Computer Science
2 Science China. Information Sciences
2 Afrika Matematika
1 Discrete Mathematics
1 International Journal of Control
1 Journal of the Franklin Institute
1 Mathematical Biosciences
1 Mathematical Methods in the Applied Sciences
...and 77 more Serials
all top 5

Cited in 43 Fields

889 Computer science (68-XX)
786 Mathematical logic and foundations (03-XX)
249 General topology (54-XX)
228 Category theory; homological algebra (18-XX)
194 Order, lattices, ordered algebraic structures (06-XX)
101 General algebraic systems (08-XX)
101 Information and communication theory, circuits (94-XX)
43 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
37 Systems theory; control (93-XX)
28 Group theory and generalizations (20-XX)
27 Associative rings and algebras (16-XX)
23 Measure and integration (28-XX)
23 Statistics (62-XX)
21 Operations research, mathematical programming (90-XX)
18 Combinatorics (05-XX)
17 Probability theory and stochastic processes (60-XX)
16 Linear and multilinear algebra; matrix theory (15-XX)
16 Functional analysis (46-XX)
13 History and biography (01-XX)
11 Commutative algebra (13-XX)
10 Real functions (26-XX)
8 Topological groups, Lie groups (22-XX)
7 Operator theory (47-XX)
7 Quantum theory (81-XX)
7 Biology and other natural sciences (92-XX)
5 General and overarching topics; collections (00-XX)
5 Difference and functional equations (39-XX)
3 Numerical analysis (65-XX)
2 Number theory (11-XX)
2 Ordinary differential equations (34-XX)
2 Partial differential equations (35-XX)
2 Sequences, series, summability (40-XX)
2 Approximations and expansions (41-XX)
2 Algebraic topology (55-XX)
1 Field theory and polynomials (12-XX)
1 Nonassociative rings and algebras (17-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Integral equations (45-XX)
1 Geometry (51-XX)
1 Fluid mechanics (76-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Geophysics (86-XX)
1 Mathematics education (97-XX)

Citations by Year