×

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, Joseph A.; Goguen, J. A.; Goguen, Joseph; Goguen, Joseph A. jun.; Goguen, Joseph Amadee; Goguen, J. A. jun.; Goguen, J.
Documents Indexed: 88 Publications since 1967, including 3 Books
Biographic References: 4 Publications

Publications by Year

Citations contained in zbMATH Open

78 Publications have been cited 2,602 times in 1,799 Documents Cited by Year
L-fuzzy sets. Zbl 0145.24404
Goguen, J. A.
783
1967
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
194
1992
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
192
1977
The logic of inexact concepts. Zbl 0184.00903
Goguen, J. A.
190
1969
The fuzzy Tychonoff theorem. Zbl 0278.54003
Goguen, J. A.
122
1973
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
95
1992
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
62
1980
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
50
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.
40
1982
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
38
1982
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
37
1984
A hidden agenda. Zbl 0946.68070
Goguen, Joseph A.; Malcolm, Grant
36
2000
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
31
1985
Minimal realization of machines in closed categories. Zbl 0277.18003
Goguen, J. A.
27
1972
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
26
1984
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
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
25
2012
How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043
Goguen, J. A.
23
1980
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
22
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.
20
1969
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
18
1994
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
18
1976
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
17
1982
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
16
1996
Types as theories. Zbl 0792.68100
Goguen, Joseph A.
16
1991
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
16
1989
Abstract errors for abstract data types. Zbl 0373.68024
Goguen, Joseph A.
15
1978
A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002
Goguen, Joseph A.; Burstall, R. M.
15
1986
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
15
1987
Hiding more of hidden algebra. Zbl 0953.68094
Goguen, Joseph; Roşu, Grigore
14
1999
Composing hidden information modules over inclusive institutions. Zbl 1278.68203
Goguen, Joseph; Rosu, Grigore
14
2004
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
14
1984
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010
Goguen, J. A. jun.
12
1974
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
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
12
1985
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1975
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
Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002
Goguen, J. A.
9
1975
Semantics of computation. Zbl 0306.68028
Goguen, J. A.
9
1975
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
9
2005
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
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
8
1988
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
7
2000
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
7
2000
Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014
Goguen, Joseph A.; Parsaye-Ghomi, Kamran
6
1981
Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019
Goguen, J. A.; Meseguer, J.
6
1983
Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121
Goguen, Joseph A.; Lin, Kai; Roşu, Grigore
6
2003
Objects. Zbl 0336.18001
Goguen, Joseph A.
5
1974
Correctness of recursive flow diagram programs. Zbl 0354.68028
Goguen, J. A.; Meseguer, J.
5
1977
Remarks on remarks on many-sorted equational logic. Zbl 1023.68630
Goguen, Joseph A.; Meseguer, José
5
1986
On equational Craig interpolation. Zbl 0962.03026
Rosu, Grigore; Goguen, Joseph
4
2000
Correctness and equivalence of data types. Zbl 0387.68013
Goguen, J. A.
4
1976
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
4
2002
Data, schema, ontology and logic integration. Zbl 1094.68018
Goguen, Joseph A.
4
2005
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
On fuzzy robot planning. Zbl 0341.68062
Goguen, J. A.
3
1975
Systems and distinctions; duality and complementarity. Zbl 0403.93003
Goguen, Joseph A.; Varela, Francisco J.
3
1979
What is a concept? Zbl 1132.68059
Goguen, Joseph
3
2005
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
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
2
1998
System theory concepts in computer science. Zbl 0362.68029
Goguen, J. A.
2
1973
Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021
Goguen, Joseph A.
2
1988
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
2
1987
Web-based support for cooperative software engineering. Zbl 0985.68586
Goguen, Joseph A.; Lin, Kai
1
2001
Axioms for discrimination information. Zbl 0315.94020
Goguen, J. A.; Carlson, L. A.
1
1975
A categorical approach to general systems. Zbl 0409.93002
Ginali, Susanna; Goguen, Joseph
1
1978
FUNNEL: A CHDL with formal semantics. Zbl 0794.68020
Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N.
1
1992
Specifying, programming and verifying with equational logic. Zbl 1221.68155
Goguen, Joseph; Lin, Kai
1
2005
Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
1
1987
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
25
2012
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. 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
9
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
36
2000
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
7
2000
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
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
2
1998
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
16
1996
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
22
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.
194
1992
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
95
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
16
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
8
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é
15
1987
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
2
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.
15
1986
Remarks on remarks on many-sorted equational logic. Zbl 1023.68630
Goguen, Joseph A.; Meseguer, José
5
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.
50
1985
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
31
1985
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
12
1985
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
37
1984
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
26
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.
40
1982
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
38
1982
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
17
1982
Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014
Goguen, Joseph A.; Parsaye-Ghomi, Kamran
6
1981
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
62
1980
How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043
Goguen, J. A.
23
1980
Systems and distinctions; duality and complementarity. Zbl 0403.93003
Goguen, Joseph A.; Varela, Francisco J.
3
1979
Abstract errors for abstract data types. Zbl 0373.68024
Goguen, Joseph A.
15
1978
A categorical approach to general systems. Zbl 0409.93002
Ginali, Susanna; Goguen, Joseph
1
1978
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
192
1977
Correctness of recursive flow diagram programs. Zbl 0354.68028
Goguen, J. A.; Meseguer, J.
5
1977
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
18
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.
10
1975
Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002
Goguen, J. A.
9
1975
Semantics of computation. Zbl 0306.68028
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.
122
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.
27
1972
The logic of inexact concepts. Zbl 0184.00903
Goguen, J. A.
190
1969
Categories of V-sets. Zbl 0177.02401
Goguen, J. A.
20
1969
L-fuzzy sets. Zbl 0145.24404
Goguen, J. A.
783
1967
all top 5

Cited by 1,641 Authors

54 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.
21 Tepavčević, Andreja
20 Mossakowski, Till
19 Höhle, Ulrich
19 Šešelja, Branimir
18 Gerla, Giangiacomo
17 Roşu, Grigore
16 Hennicker, Rolf
16 Sannella, Donald T.
16 Šostak, Alexander P.
14 Courcelle, Bruno
14 Ehrig, Hartmut
14 Prade, Henri M.
13 Dubois, Didier
13 Rodabaugh, Stephen Ernest
12 Bayoumi, Fatma
12 Ésik, Zoltán
12 Rabe, Florian
12 Voutsadakis, George
11 Fang, Jinming
11 Gottwald, Siegfried
11 Hu, Baoqing
11 Kramosil, Ivan
11 Mesiar, Radko
11 Orejas, Fernando
10 Durán, Francisco
10 Futatsugi, Kokichi
10 Lucanu, Dorel
10 Martins, Manuel António
10 Pedrycz, Witold
10 Shi, Fu-Gui
10 Wirsing, Martin
10 Zadeh, Lotfi Asker
9 Aiguier, Marc
9 Bidoit, Michel
9 Bustince, Humberto
9 Corradini, Andrea
9 Di Nola, Antonio
9 Gallier, Jean H.
9 Lucas, Salvador
9 Ojeda-Aciego, Manuel
9 Saadati, Reza
9 Xu, Yang
9 Yao, Wei
8 Escobar, Santiago
8 Gaĭnă, Daniel
8 Madeira, Alexandre
8 Manes, Ernest G.
8 Martí-Oliet, Narciso
8 Novák, Vilém
8 Ogata, Kazuhiro
8 Tiwari, S. P.
8 Wagner, Eric G.
8 Zhao, Bin
7 Arbib, Michael A.
7 Bloom, Stephen L.
7 Clavel, Manuel
7 De Baets, Bernard
7 Drewniak, Józef
7 Eklund, Patrik E.
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 Parisi-Presicce, Francesco
7 Stout, Lawrence Neff
7 Wang, Chunyong
6 Barrenechea, Edurne
6 Brown, Lawrence Michael
6 Codescu, Mihai
6 Cornelis, Chris
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, Guojun
6 Winter, Michael
5 Ajmal, Naseem
...and 1,541 more Authors
all top 5

Cited in 179 Serials

428 Fuzzy Sets and Systems
210 Theoretical Computer Science
98 Information Sciences
61 Journal of Mathematical Analysis and Applications
47 Journal of Computer and System Sciences
37 International Journal of General Systems
33 International Journal of Approximate Reasoning
29 Soft Computing
28 Information and Computation
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
20 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
16 Journal of Logical and Algebraic Methods in Programming
12 Kybernetika
12 Synthese
12 Annals of Mathematics and Artificial Intelligence
12 The Journal of Logic and Algebraic Programming
12 Logica Universalis
11 Artificial Intelligence
11 Journal of Automated Reasoning
9 Cybernetics and Systems Analysis
9 New Mathematics and Natural Computation
8 Chaos, Solitons and Fractals
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 Journal of Pure and Applied Algebra
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 Advances in Fuzzy Systems
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 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
2 Journal of Mathematics
1 Discrete Mathematics
1 International Journal of Control
1 Journal of the Franklin Institute
1 Mathematical Biosciences
...and 79 more Serials
all top 5

Cited in 44 Fields

861 Computer science (68-XX)
783 Mathematical logic and foundations (03-XX)
254 General topology (54-XX)
222 Category theory; homological algebra (18-XX)
192 Order, lattices, ordered algebraic structures (06-XX)
99 General algebraic systems (08-XX)
99 Information and communication theory, circuits (94-XX)
45 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
37 Systems theory; control (93-XX)
29 Group theory and generalizations (20-XX)
26 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)
15 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 Quantum theory (81-XX)
7 Biology and other natural sciences (92-XX)
6 Difference and functional equations (39-XX)
6 Operator theory (47-XX)
5 General and overarching topics; collections (00-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)
2 Mathematics education (97-XX)
1 Field theory and polynomials (12-XX)
1 Nonassociative rings and algebras (17-XX)
1 Several complex variables and analytic spaces (32-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)

Citations by Year