Edit Profile (opens in new tab) Tarlecki, Andrzej Compute Distance To: Compute Author ID: tarlecki.andrzej Published as: Tarlecki, Andrzej; Tarlecki, A. External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 66 Publications since 1983, including 2 Books 10 Contributions as Editor Co-Authors: 47 Co-Authors with 64 Joint Publications 1,055 Co-Co-Authors all top 5 Co-Authors 12 single-authored 32 Sannella, Donald T. 16 Mossakowski, Till 5 Wirsing, Martin 4 Bidoit, Michel 4 Diaconescu, Răzvan 4 Schröder, Lutz 3 Blikle, Andrzej Jacek 3 Goguen, Joseph Amadee 3 Hoffman, Piotr 3 Klin, Bartek 3 Pawłowski, Wiesław 2 Arge, Lars 2 Astesiano, Egidio 2 Cachin, Christian 2 Harper, Robert 2 Kahrs, Stefan Michael 2 Möller, Bernhard 1 Adámek, Jiří 1 Burstall, Rod M. 1 Cengarle, María Victoria 1 Dershowitz, Nachum 1 Haxthausen, Anne Elisabeth 1 Hayes, Ian J. 1 Honsell, Furio 1 Ibañez, Yazmin Angelica 1 Jung, Achim 1 Jurdziński, Tomasz 1 Kirchner, Hélène 1 Knapp, Alexander 1 Konikowska, Beata 1 Krieg-Brückner, Bernd 1 Kurz, Alexander 1 Lenisa, Marina 1 Longley, John R. 1 Madey, Jan 1 Marcinkowski, Jerzy 1 Marcus, Leo 1 Mirkowska, Grazyna 1 Mosses, Peter D. 1 Nelson, Evelyn M. 1 Reggio, Gianna 1 Salwicki, Andrzej 1 Sannelly, Donald 1 Sokołowski, Stefan 1 Srebrny, Marian 1 Thorup, Mikkel 1 Turski, Władysław Marek all top 5 Serials 8 Lecture Notes in Computer Science 7 Theoretical Computer Science 3 Formal Aspects of Computing 2 Acta Informatica 2 Journal of Computer and System Sciences 2 SIAM Journal on Computing 2 Annales Societatis Mathematicae Polonae. Series IV 2 Science of Computer Programming 2 MSCS. Mathematical Structures in Computer Science 2 Logica Universalis 1 Information Processing Letters 1 Commentationes Mathematicae Universitatis Carolinae 1 Studia Logica 1 Annals of Pure and Applied Logic 1 Information and Computation 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Computing and Informatics 1 Monographs in Theoretical Computer Science. An EATCS Series all top 5 Fields 68 Computer science (68-XX) 19 Mathematical logic and foundations (03-XX) 10 General and overarching topics; collections (00-XX) 7 Category theory; homological algebra (18-XX) 5 General algebraic systems (08-XX) 2 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 56 Publications have been cited 520 times in 252 Documents Cited by ▼ Year ▼ Specifications in an arbitrary institution. Zbl 0654.68017Sannella, Donald; Tarlecki, Andrzej 65 1988 Foundations of algebraic specification and formal software development. Zbl 1237.68129Sannella, Donald; Tarlecki, Andrzej 50 2012 CASL: the Common Algebraic Specification Language. Zbl 1061.68103Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej 39 2002 Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004Sannella, Donald; Tarlecki, Andrzej 31 1988 On the existence of free models in abstract algebraic institutions. Zbl 0608.68014Tarlecki, Andrzej 28 1985 On observational equivalence and algebraic specification. Zbl 0619.68028Sannella, Donald; Tarlecki, Andrzej 26 1987 Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 25 1991 Quasi-varieties in abstract algebraic institutions. Zbl 0622.68033Tarlecki, Andrzej 22 1986 Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej 19 1992 Structured theory presentations and logic representations. Zbl 0809.03019Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 15 1994 Towards heterogeneous specifications. Zbl 0988.03056Tarlecki, Andrzej 14 2000 What is a logic translation? Zbl 1255.03023Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej 14 2009 Essential concepts of algebraic specification and program development. Zbl 0887.68070Sannella, Donald; Tarlecki, Andrzej 13 1997 Bits and pieces of the theory of institutions. Zbl 0636.68029Tarlecki, Andrzej 12 1986 What is a logic? Zbl 1080.03028Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 9 2005 Architectural specifications in CASL. Zbl 1001.68078Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 8 2002 The definition of Extended ML: A gentle introduction. Zbl 0901.68024Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej 8 1997 A heterogeneous approach to UML semantics. Zbl 1143.68373Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin 8 2008 A three-valued logic for software specification and validation. Zbl 0771.68087Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej 7 1991 Algebraic preliminaries. Zbl 0945.68129Sannella, Donald; Tarlecki, Andrzej 6 1999 Combining and representing logical systems. Zbl 0881.03044Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 5 1997 A language of specified programs. Zbl 0559.68023Tarlecki, Andrzej 5 1985 Amalgamation in the semantics of CASL. Zbl 1070.68094Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr 5 2005 Observational interpretation CASL specifications. Zbl 1141.68026Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 5 2008 Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej 5 1988 A simple refinement language for Casl. Zbl 1118.68560Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej 4 2005 Heterogeneous logical environments for distributed specifications. Zbl 1253.68231Mossakowski, Till; Tarlecki, Andrzej 4 2009 Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 4 1998 On observational equivalence and algebraic specification. Zbl 0563.68017Sannella, Donald; Tarlecki, Andrzej 4 1985 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 4 2007 CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej 4 2003 Continuous abstract data types. Zbl 0624.68024Tarlecki, Andrzej; Wirsing, Martin 4 1986 Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088Tarlecki, Andrzej 4 2011 Comparison of subset systems. Zbl 0657.06009Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A. 4 1988 Structure and representation in LF. Zbl 0716.68078Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 4 1989 Naive denotational semantics. Zbl 0514.68021Blikle, Andrzej; Tarlecki, Andrzej 4 1983 Semantics of architectural specifications in CASL. Zbl 0977.68744Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr 3 2001 Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin 3 1988 The semantics of extended ML: A gentle introduction. Zbl 0813.68132Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej 2 1994 Institutions: An abstract framework for formal specifications. Zbl 0945.68130Tarlecki, Andrzej 2 1999 Constructive data refinement in typed lambda calculus. Zbl 0965.68012Honsell, Furio; Longley, John; Sannella, Donald; Tarlecki, Andrzej 2 2000 Global development via local observational construction steps. Zbl 1014.68099Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 2 2002 Amalgamation in CASL via enriched signatures. Zbl 0986.68015Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej 2 2001 Building specifications in an arbitrary institution. Zbl 0552.68015Sannella, Donald; Tarlecki, Andrzej 2 1984 Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013Sannella, Donald; Tarlecki, Andrzej 2 1987 Extended ML: an institution-independent framework for formal program development. Zbl 0616.68015Sannelly, Donald; Tarlecki, Andrzej 2 1986 Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till 1 2001 Property-oriented semantics of structured specifications. Zbl 1342.68218Sannella, Donald; Tarlecki, Andrzej 1 2014 FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005 1 2005 Algebraic specification and formal methods for program development: What are the real problems! Zbl 0744.68102Sannella, Donald; Tarlecki, Andrzej 1 1990 Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings. Zbl 0753.00030 1 1991 Recent trends in data type specification. 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994. Selected papers. Zbl 1154.68304 1 1995 Continuous abstract data types: basic machinery and results. Zbl 0571.68014Tarlecki, Andrzej; Wirsing, Martin 1 1985 Some thoughts on algebraic specification. Zbl 0584.68036Sannella, Donald; Tarlecki, Andrzej 1 1985 Horizontal composability revisited. Zbl 1132.68340Sannella, Donald; Tarlecki, Andrzej 1 2006 A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193Mossakowski, Till; Tarlecki, Andrzej 1 2014 Property-oriented semantics of structured specifications. Zbl 1342.68218Sannella, Donald; Tarlecki, Andrzej 1 2014 A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193Mossakowski, Till; Tarlecki, Andrzej 1 2014 Foundations of algebraic specification and formal software development. Zbl 1237.68129Sannella, Donald; Tarlecki, Andrzej 50 2012 Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088Tarlecki, Andrzej 4 2011 What is a logic translation? Zbl 1255.03023Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej 14 2009 Heterogeneous logical environments for distributed specifications. Zbl 1253.68231Mossakowski, Till; Tarlecki, Andrzej 4 2009 A heterogeneous approach to UML semantics. Zbl 1143.68373Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin 8 2008 Observational interpretation CASL specifications. Zbl 1141.68026Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 5 2008 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 4 2007 Horizontal composability revisited. Zbl 1132.68340Sannella, Donald; Tarlecki, Andrzej 1 2006 What is a logic? Zbl 1080.03028Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 9 2005 Amalgamation in the semantics of CASL. Zbl 1070.68094Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr 5 2005 A simple refinement language for Casl. Zbl 1118.68560Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej 4 2005 FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005 1 2005 CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej 4 2003 CASL: the Common Algebraic Specification Language. Zbl 1061.68103Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej 39 2002 Architectural specifications in CASL. Zbl 1001.68078Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 8 2002 Global development via local observational construction steps. Zbl 1014.68099Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 2 2002 Semantics of architectural specifications in CASL. Zbl 0977.68744Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr 3 2001 Amalgamation in CASL via enriched signatures. Zbl 0986.68015Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej 2 2001 Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till 1 2001 Towards heterogeneous specifications. Zbl 0988.03056Tarlecki, Andrzej 14 2000 Constructive data refinement in typed lambda calculus. Zbl 0965.68012Honsell, Furio; Longley, John; Sannella, Donald; Tarlecki, Andrzej 2 2000 Algebraic preliminaries. Zbl 0945.68129Sannella, Donald; Tarlecki, Andrzej 6 1999 Institutions: An abstract framework for formal specifications. Zbl 0945.68130Tarlecki, Andrzej 2 1999 Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 4 1998 Essential concepts of algebraic specification and program development. Zbl 0887.68070Sannella, Donald; Tarlecki, Andrzej 13 1997 The definition of Extended ML: A gentle introduction. Zbl 0901.68024Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej 8 1997 Combining and representing logical systems. Zbl 0881.03044Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 5 1997 Recent trends in data type specification. 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994. Selected papers. Zbl 1154.68304 1 1995 Structured theory presentations and logic representations. Zbl 0809.03019Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 15 1994 The semantics of extended ML: A gentle introduction. Zbl 0813.68132Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej 2 1994 Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej 19 1992 Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 25 1991 A three-valued logic for software specification and validation. Zbl 0771.68087Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej 7 1991 Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings. Zbl 0753.00030 1 1991 Algebraic specification and formal methods for program development: What are the real problems! Zbl 0744.68102Sannella, Donald; Tarlecki, Andrzej 1 1990 Structure and representation in LF. Zbl 0716.68078Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 4 1989 Specifications in an arbitrary institution. Zbl 0654.68017Sannella, Donald; Tarlecki, Andrzej 65 1988 Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004Sannella, Donald; Tarlecki, Andrzej 31 1988 Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej 5 1988 Comparison of subset systems. Zbl 0657.06009Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A. 4 1988 Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin 3 1988 On observational equivalence and algebraic specification. Zbl 0619.68028Sannella, Donald; Tarlecki, Andrzej 26 1987 Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013Sannella, Donald; Tarlecki, Andrzej 2 1987 Quasi-varieties in abstract algebraic institutions. Zbl 0622.68033Tarlecki, Andrzej 22 1986 Bits and pieces of the theory of institutions. Zbl 0636.68029Tarlecki, Andrzej 12 1986 Continuous abstract data types. Zbl 0624.68024Tarlecki, Andrzej; Wirsing, Martin 4 1986 Extended ML: an institution-independent framework for formal program development. Zbl 0616.68015Sannelly, Donald; Tarlecki, Andrzej 2 1986 On the existence of free models in abstract algebraic institutions. Zbl 0608.68014Tarlecki, Andrzej 28 1985 A language of specified programs. Zbl 0559.68023Tarlecki, Andrzej 5 1985 On observational equivalence and algebraic specification. Zbl 0563.68017Sannella, Donald; Tarlecki, Andrzej 4 1985 Continuous abstract data types: basic machinery and results. Zbl 0571.68014Tarlecki, Andrzej; Wirsing, Martin 1 1985 Some thoughts on algebraic specification. Zbl 0584.68036Sannella, Donald; Tarlecki, Andrzej 1 1985 Building specifications in an arbitrary institution. Zbl 0552.68015Sannella, Donald; Tarlecki, Andrzej 2 1984 Naive denotational semantics. Zbl 0514.68021Blikle, Andrzej; Tarlecki, Andrzej 4 1983 all cited Publications top 5 cited Publications all top 5 Cited by 263 Authors 28 Diaconescu, Răzvan 21 Tarlecki, Andrzej 18 Mossakowski, Till 16 Sannella, Donald T. 15 Hennicker, Rolf 11 Madeira, Alexandre 11 Rabe, Florian 8 Bidoit, Michel 7 Bergstra, Jan A. 7 Gaĭnă, Daniel 7 Martins, Manuel António 7 Middelburg, Cornelis A. 7 Roggenbach, Markus 6 Barbosa, Luís Soares 6 Knapp, Alexander 5 Horozal, Fulya 5 Meseguer Guaita, José 5 Orejas, Fernando 5 Schröder, Lutz 4 Aiguier, Marc 4 Astesiano, Egidio 4 Futatsugi, Kokichi 4 Maibaum, Thomas Stephen Edward 4 Mosses, Peter D. 4 Navarro, Marisa 4 Ogata, Kazuhiro 4 Oriat, C. 4 Struth, Georg 4 Ţuţu, Ionuţ 4 Wirsing, Martin 3 Autexier, Serge 3 Cerioli, Maura 3 Codescu, Mihai 3 Dershowitz, Nachum 3 Goguen, Joseph Amadee 3 Kirchner, Hélène 3 Kohlhase, Michael 3 Konikowska, Beata 3 Krieg-Brückner, Bernd 3 Kutz, Oliver 3 Petria, Marius 3 Popescu, Andrei 3 Roşu, Grigore 2 Adámek, Jiří 2 Bauer, Sebastian S. 2 Bernot, Gilles 2 Borzyszkowski, Tomasz 2 Boy de la Tour, Thierry 2 Ehrig, Hartmut 2 Fiadeiro, José Luiz 2 Große-Rhode, Martin 2 Harper, Robert 2 Haveraaen, Magne 2 Hutter, Dieter 2 Jeřábek, Emil 2 Kahrs, Stefan Michael 2 Knapik, Teodor 2 Kurz, Alexander 2 Lambers, Leen 2 Lucanu, Dorel 2 Martins Moreira, Anamaria 2 Nikitchenko, Mykola S. 2 Pino, Elvira 2 Reggio, Gianna 2 Sojakova, Kristina 2 Worytkiewicz, Krzysztof 1 Abrusci, Vito Michele 1 Aguirre, Nazareno M. 1 Ah-kee, Alain 1 Anders, Gerrit 1 Andon, F. I. 1 Areces, Carlos 1 Arusoaie, Andrei 1 Aspinall, David 1 Atif, Jamal 1 Avron, Arnon 1 Babenyshev, Sergey 1 Barbier, Franck 1 Baumeister, Hubert 1 Beketov, A. G. 1 Belzner, Lenz 1 Bettaz, Mohamed 1 Beyersdorff, Olaf 1 Bjørner, Dines 1 Blikle, Andrzej Jacek 1 Bloch, Isabelle 1 Boehm, Paul 1 Bonacina, Maria Paola 1 Boronat, Artur 1 Bouhoula, Adel 1 Burstall, Rod M. 1 Busch, Marianne 1 Castro, Pablo F. 1 Cengarle, María Victoria 1 Chentsov, Alexey A. 1 Choppy, Christine 1 Climent Vidal, Juan 1 Compagnoni, Adriana B. 1 Confalonieri, Roberto 1 Corradini, Andrea ...and 163 more Authors all top 5 Cited in 45 Serials 64 Theoretical Computer Science 12 Information Processing Letters 12 MSCS. Mathematical Structures in Computer Science 10 Acta Informatica 10 Formal Aspects of Computing 10 Journal of Logical and Algebraic Methods in Programming 9 The Journal of Logic and Algebraic Programming 8 Logica Universalis 7 Studia Logica 6 Information and Computation 3 Diagrammes 3 Journal of Applied Logic 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Journal of Computer and System Sciences 2 Journal of Symbolic Computation 2 Applied Categorical Structures 2 Annals of Mathematics and Artificial Intelligence 2 Theory of Computing Systems 2 RAIRO. Theoretical Informatics and Applications 2 ACM Transactions on Computational Logic 2 The Review of Symbolic Logic 1 Artificial Intelligence 1 Mathematical Biosciences 1 Fuzzy Sets and Systems 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Annals of Pure and Applied Logic 1 Order 1 Journal of Automated Reasoning 1 Annals of Operations Research 1 International Journal of Algebra and Computation 1 Archive for Mathematical Logic 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Computer Science Journal of Moldova 1 Constraints 1 Soft Computing 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures 1 Electronic Notes in Theoretical Computer Science 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Tbilisi Mathematical Journal all top 5 Cited in 12 Fields 218 Computer science (68-XX) 84 Mathematical logic and foundations (03-XX) 23 Category theory; homological algebra (18-XX) 9 General algebraic systems (08-XX) 5 History and biography (01-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 General topology (54-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.