Edit Profile (opens in new tab) Struth, Georg Compute Distance To: Compute Author ID: struth.georg Published as: Struth, Georg Homepage: https://www.sheffield.ac.uk/dcs/people/academic/georg-struth External Links: MGP · dblp Documents Indexed: 83 Publications since 1997, including 1 Book 4 Contributions as Editor Co-Authors: 43 Co-Authors with 72 Joint Publications 725 Co-Co-Authors all top 5 Co-Authors 15 single-authored 18 Möller, Bernhard 8 Hoare, C. A. R. Tony 8 Höfner, Peter 7 Desharnais, Jules 6 Armstrong, Alasdair 6 McIver, Annabelle K. 6 Rabehaja, Tahiry M. 5 Fahrenberg, Uli 5 Foster, Simon 5 Johansen, Christian 4 Dongol, Brijesh 4 Furusawa, Hitoshi 4 Gomes, Victor B. F. 4 Laurence, Michael R. 4 Ziemiański, Krzysztof 3 Berghammer, Rudolf 3 Hayes, Ian J. 3 Huerta y Munive, Jonathan Julián 3 Pous, Damien 3 Weber, Tjark 3 Wehrman, Ian 2 Cranch, James 2 Jipsen, Peter 2 Kawahara, Yasuo 2 O’Hearn, Peter W. 2 Tsumagari, Norihiro 2 van Staden, Stephan 2 Zhu, Huibiao 1 Brunet, Paul 1 Calk, Cameron 1 Doherty, Simon 1 Ehm, Thorsten 1 Goubault, Eric 1 Hussain, Akbar 1 Malbos, Philippe 1 Meinicke, Larissa A. 1 Moller, Faron 1 Müller, Martin Eric 1 Petersen, Rasmus Lerchedahl 1 Sutcliffe, Geoff 1 Thapa, Ratan Bahadur 1 Villard, Jules 1 Woodcock, James C. P. all top 5 Serials 5 Journal of Logical and Algebraic Methods in Programming 4 The Journal of Logic and Algebraic Programming 4 ACM Transactions on Computational Logic 3 Theoretical Computer Science 3 MSCS. Mathematical Structures in Computer Science 3 Lecture Notes in Computer Science 3 Logical Methods in Computer Science 2 Journal of Automated Reasoning 1 Information Processing Letters 1 Acta Cybernetica 1 Algebra Universalis 1 Science of Computer Programming 1 Information and Computation 1 Formal Aspects of Computing 1 Annals of Mathematics and Artificial Intelligence 1 Undergraduate Topics in Computer Science all top 5 Fields 83 Computer science (68-XX) 38 Mathematical logic and foundations (03-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 7 Associative rings and algebras (16-XX) 4 General and overarching topics; collections (00-XX) 2 Category theory; homological algebra (18-XX) 2 Group theory and generalizations (20-XX) 1 General algebraic systems (08-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 65 Publications have been cited 435 times in 177 Documents Cited by ▼ Year ▼ Kleene algebra with domain. Zbl 1367.68205Desharnais, Jules; Möller, Bernhard; Struth, Georg 54 2006 Concurrent Kleene algebra and its foundations. Zbl 1278.68176Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 34 2011 Automated reasoning in Kleene algebra. Zbl 1184.68462Höfner, Peter; Struth, Georg 24 2007 Algebras of modal operators and partial correctness. Zbl 1086.68082Möller, Bernhard; Struth, Georg 22 2006 Internal axioms for domain semirings. Zbl 1211.68242Desharnais, Jules; Struth, Georg 21 2011 Concurrent Kleene algebra. Zbl 1254.68172Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 20 2009 Domain axioms for a family of near-semirings. Zbl 1170.68514Desharnais, Jules; Struth, Georg 15 2008 Automated engineering of relational and algebraic methods in Isabelle/HOL (invited tutorial). Zbl 1329.68230Foster, Simon; Struth, Georg; Weber, Tjark 14 2011 On automating the calculus of relations. Zbl 1165.68460Höfner, Peter; Struth, Georg 13 2008 Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages. Zbl 1405.68198Laurence, Michael R.; Struth, Georg 13 2014 A program construction and verification tool for separation logic. Zbl 1432.68071Dongol, Brijesh; Gomes, Victor B. F.; Struth, Georg 11 2015 Quantales and temporal logics. Zbl 1235.03051Möller, Bernhard; Höfner, Peter; Struth, Georg 11 2006 Algebraic notions of termination. Zbl 1214.68185Desharnais, Jules; Möller, Bernhard; Struth, Georg 10 2011 Domain and antidomain semigroups. Zbl 1267.03067Desharnais, Jules; Jipsen, Peter; Struth, Georg 10 2009 Building program construction and verification tools from algebraic principles. Zbl 1342.68066Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg 9 2016 On locality and the exchange law for concurrent processes. Zbl 1343.68170Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg 9 2011 wp is wlp. Zbl 1185.68227Möller, Bernhard; Struth, Georg 9 2006 Foundations of concurrent Kleene algebra. Zbl 1267.68154Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian 8 2009 An event structure model for probabilistic concurrent Kleene algebra. Zbl 1407.68337McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg 7 2013 On automated program construction and verification. Zbl 1286.68068Berghammer, Rudolf; Struth, Georg 7 2010 Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637Armstrong, Alasdair; Struth, Georg; Weber, Tjark 6 2014 Abstract abstract reduction. Zbl 1086.68068Struth, Georg 6 2006 Modal semirings revisited. Zbl 1157.68026Desharnais, Jules; Struth, Georg 6 2008 Concurrent dynamic algebra. Zbl 1367.03054Furusawa, Hitoshi; Struth, Georg 6 2015 Termination in modal Kleene algebra. Zbl 1088.68619Desharnais, Jules; Möller, Bernhard; Struth, Georg 5 2004 Program analysis and verification based on Kleene algebra in Isabelle/HOL. Zbl 1317.68201Armstrong, Alasdair; Struth, Georg; Weber, Tjark 5 2013 Developments in concurrent Kleene algebra. Zbl 1344.68148Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter 5 2014 Developments in concurrent Kleene algebra. Zbl 1344.68149Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao 5 2016 Automated verification of refinement laws. Zbl 1184.68463Höfner, Peter; Struth, Georg; Sutcliffe, Geoff 4 2009 Probabilistic rely-guarantee calculus. Zbl 1356.68156McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg 4 2016 Modal Kleene algebra and partial correctness. Zbl 1108.68403Möller, Bernhard; Struth, Georg 3 2004 Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111Höfner, Peter; Struth, Georg 3 2010 Modal tools for separation and refinement. Zbl 1283.68215Struth, Georg 3 2008 Algebras for program correctness in Isabelle/HOL. Zbl 1405.68314Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg 3 2014 Automated analysis of regular algebra. Zbl 1358.68254Foster, Simon; Struth, Georg 3 2012 Modal Kleene algebra applied to program correctness. Zbl 1427.68046Gomes, Victor B. F.; Struth, Georg 3 2016 On decidability of concurrent Kleene algebra. Zbl 1442.68128Brunet, Paul; Pous, Damien; Struth, Georg 3 2017 Taming multirelations. Zbl 1407.03080Furusawa, Hitoshi; Struth, Georg 3 2016 Relational formalisations of compositions and liftings of multirelations. Zbl 1471.68124Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro 2 2015 Deriving focused calculi for transitive relations. Zbl 0981.03034Struth, Georg 2 2001 The structure of the one-generated free domain semiring. Zbl 1140.68041Jipsen, Peter; Struth, Georg 2 2008 Kleene modules. Zbl 1088.03052Ehm, Thorsten; Möller, Bernhard; Struth, Georg 2 2004 Hoare semigroups. Zbl 1390.68440Struth, Georg 2 2018 Left omega algebras and regular equations. Zbl 1279.68242Struth, Georg 2 2012 Automated reasoning in higher-order regular algebra. Zbl 1364.68326Armstrong, Alasdair; Struth, Georg 2 2012 Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 07327946Dongol, Brijesh; Hayes, Ian J.; Struth, Georg 2 2021 Verifying hybrid systems with modal Kleene algebra. Zbl 06975212Huerta y Munive, Jonathan Julián; Struth, Georg 2 2018 Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210Dongol, Brijesh; Hayes, Ian J.; Struth, Georg 2 2016 Languages of higher-dimensional automata. Zbl 1495.68119Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof 2 2021 Knuth-Bendix completion for non-symmetric transitive relations. Zbl 1268.68068Struth, Georg 1 2001 Completeness results for omega-regular algebras. Zbl 1335.68155Cranch, James; Laurence, Michael R.; Struth, Georg 1 2015 On the fine-structure of regular algebra. Zbl 1331.68128Foster, Simon; Struth, Georg 1 2015 An algebra of resolution. Zbl 0964.03010Struth, Georg 1 2000 On the expressive power of Kleene algebra with domain. Zbl 1347.68095Struth, Georg 1 2016 Non-termination in idempotent semirings. Zbl 1138.68461Höfner, Peter; Struth, Georg 1 2008 Cylindric Kleene lattices for program construction. Zbl 1434.68105Dongol, Brijesh; Hayes, Ian; Meinicke, Larissa; Struth, Georg 1 2019 On the word problem for free lattices. Zbl 1379.06003Struth, Georg 1 1997 A discrete geometric model of concurrent program execution. Zbl 1483.68086Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg 1 2017 Schedulers and finishers: on generating the behaviours of an event structure. Zbl 1400.68138McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg 1 2016 Kleisli, Parikh and Peleg compositions and liftings for multirelations. Zbl 1371.68171Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro 1 2017 Trimming the hedges: an algebra to tame concurrency. Zbl 07473324Struth, Georg 1 2021 Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL. Zbl 07498609Huerta y Munive, Jonathan Julián; Struth, Georg 1 2022 Posets with interfaces as a model for concurrency. Zbl 07538344Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof 1 2022 Convolution and concurrency. Zbl 1490.68139Cranch, James; Doherty, Simon; Struth, Georg 1 2021 Algebraic coherent confluence and higher globular Kleene algebras. Zbl 07639917Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg 1 2022 Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL. Zbl 07498609Huerta y Munive, Jonathan Julián; Struth, Georg 1 2022 Posets with interfaces as a model for concurrency. Zbl 07538344Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof 1 2022 Algebraic coherent confluence and higher globular Kleene algebras. Zbl 07639917Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg 1 2022 Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 07327946Dongol, Brijesh; Hayes, Ian J.; Struth, Georg 2 2021 Languages of higher-dimensional automata. Zbl 1495.68119Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof 2 2021 Trimming the hedges: an algebra to tame concurrency. Zbl 07473324Struth, Georg 1 2021 Convolution and concurrency. Zbl 1490.68139Cranch, James; Doherty, Simon; Struth, Georg 1 2021 Cylindric Kleene lattices for program construction. Zbl 1434.68105Dongol, Brijesh; Hayes, Ian; Meinicke, Larissa; Struth, Georg 1 2019 Hoare semigroups. Zbl 1390.68440Struth, Georg 2 2018 Verifying hybrid systems with modal Kleene algebra. Zbl 06975212Huerta y Munive, Jonathan Julián; Struth, Georg 2 2018 On decidability of concurrent Kleene algebra. Zbl 1442.68128Brunet, Paul; Pous, Damien; Struth, Georg 3 2017 A discrete geometric model of concurrent program execution. Zbl 1483.68086Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg 1 2017 Kleisli, Parikh and Peleg compositions and liftings for multirelations. Zbl 1371.68171Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro 1 2017 Building program construction and verification tools from algebraic principles. Zbl 1342.68066Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg 9 2016 Developments in concurrent Kleene algebra. Zbl 1344.68149Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao 5 2016 Probabilistic rely-guarantee calculus. Zbl 1356.68156McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg 4 2016 Modal Kleene algebra applied to program correctness. Zbl 1427.68046Gomes, Victor B. F.; Struth, Georg 3 2016 Taming multirelations. Zbl 1407.03080Furusawa, Hitoshi; Struth, Georg 3 2016 Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210Dongol, Brijesh; Hayes, Ian J.; Struth, Georg 2 2016 On the expressive power of Kleene algebra with domain. Zbl 1347.68095Struth, Georg 1 2016 Schedulers and finishers: on generating the behaviours of an event structure. Zbl 1400.68138McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg 1 2016 A program construction and verification tool for separation logic. Zbl 1432.68071Dongol, Brijesh; Gomes, Victor B. F.; Struth, Georg 11 2015 Concurrent dynamic algebra. Zbl 1367.03054Furusawa, Hitoshi; Struth, Georg 6 2015 Relational formalisations of compositions and liftings of multirelations. Zbl 1471.68124Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro 2 2015 Completeness results for omega-regular algebras. Zbl 1335.68155Cranch, James; Laurence, Michael R.; Struth, Georg 1 2015 On the fine-structure of regular algebra. Zbl 1331.68128Foster, Simon; Struth, Georg 1 2015 Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages. Zbl 1405.68198Laurence, Michael R.; Struth, Georg 13 2014 Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637Armstrong, Alasdair; Struth, Georg; Weber, Tjark 6 2014 Developments in concurrent Kleene algebra. Zbl 1344.68148Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter 5 2014 Algebras for program correctness in Isabelle/HOL. Zbl 1405.68314Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg 3 2014 An event structure model for probabilistic concurrent Kleene algebra. Zbl 1407.68337McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg 7 2013 Program analysis and verification based on Kleene algebra in Isabelle/HOL. Zbl 1317.68201Armstrong, Alasdair; Struth, Georg; Weber, Tjark 5 2013 Automated analysis of regular algebra. Zbl 1358.68254Foster, Simon; Struth, Georg 3 2012 Left omega algebras and regular equations. Zbl 1279.68242Struth, Georg 2 2012 Automated reasoning in higher-order regular algebra. Zbl 1364.68326Armstrong, Alasdair; Struth, Georg 2 2012 Concurrent Kleene algebra and its foundations. Zbl 1278.68176Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 34 2011 Internal axioms for domain semirings. Zbl 1211.68242Desharnais, Jules; Struth, Georg 21 2011 Automated engineering of relational and algebraic methods in Isabelle/HOL (invited tutorial). Zbl 1329.68230Foster, Simon; Struth, Georg; Weber, Tjark 14 2011 Algebraic notions of termination. Zbl 1214.68185Desharnais, Jules; Möller, Bernhard; Struth, Georg 10 2011 On locality and the exchange law for concurrent processes. Zbl 1343.68170Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg 9 2011 On automated program construction and verification. Zbl 1286.68068Berghammer, Rudolf; Struth, Georg 7 2010 Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111Höfner, Peter; Struth, Georg 3 2010 Concurrent Kleene algebra. Zbl 1254.68172Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 20 2009 Domain and antidomain semigroups. Zbl 1267.03067Desharnais, Jules; Jipsen, Peter; Struth, Georg 10 2009 Foundations of concurrent Kleene algebra. Zbl 1267.68154Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian 8 2009 Automated verification of refinement laws. Zbl 1184.68463Höfner, Peter; Struth, Georg; Sutcliffe, Geoff 4 2009 Domain axioms for a family of near-semirings. Zbl 1170.68514Desharnais, Jules; Struth, Georg 15 2008 On automating the calculus of relations. Zbl 1165.68460Höfner, Peter; Struth, Georg 13 2008 Modal semirings revisited. Zbl 1157.68026Desharnais, Jules; Struth, Georg 6 2008 Modal tools for separation and refinement. Zbl 1283.68215Struth, Georg 3 2008 The structure of the one-generated free domain semiring. Zbl 1140.68041Jipsen, Peter; Struth, Georg 2 2008 Non-termination in idempotent semirings. Zbl 1138.68461Höfner, Peter; Struth, Georg 1 2008 Automated reasoning in Kleene algebra. Zbl 1184.68462Höfner, Peter; Struth, Georg 24 2007 Kleene algebra with domain. Zbl 1367.68205Desharnais, Jules; Möller, Bernhard; Struth, Georg 54 2006 Algebras of modal operators and partial correctness. Zbl 1086.68082Möller, Bernhard; Struth, Georg 22 2006 Quantales and temporal logics. Zbl 1235.03051Möller, Bernhard; Höfner, Peter; Struth, Georg 11 2006 wp is wlp. Zbl 1185.68227Möller, Bernhard; Struth, Georg 9 2006 Abstract abstract reduction. Zbl 1086.68068Struth, Georg 6 2006 Termination in modal Kleene algebra. Zbl 1088.68619Desharnais, Jules; Möller, Bernhard; Struth, Georg 5 2004 Modal Kleene algebra and partial correctness. Zbl 1108.68403Möller, Bernhard; Struth, Georg 3 2004 Kleene modules. Zbl 1088.03052Ehm, Thorsten; Möller, Bernhard; Struth, Georg 2 2004 Deriving focused calculi for transitive relations. Zbl 0981.03034Struth, Georg 2 2001 Knuth-Bendix completion for non-symmetric transitive relations. Zbl 1268.68068Struth, Georg 1 2001 An algebra of resolution. Zbl 0964.03010Struth, Georg 1 2000 On the word problem for free lattices. Zbl 1379.06003Struth, Georg 1 1997 all cited Publications top 5 cited Publications all top 5 Cited by 165 Authors 35 Struth, Georg 25 Möller, Bernhard 15 Guttmann, Walter 13 Höfner, Peter 9 Hoare, C. A. R. Tony 9 Stokes, Timothy E. 8 Berghammer, Rudolf 8 Silva, Alexandra 7 Desharnais, Jules 7 Foster, Simon 7 Jackson, Marcel G. 6 Hayes, Ian J. 6 Kappé, Tobias 5 Brunet, Paul 5 Dang, Han-Hing 5 McIver, Annabelle K. 5 Pous, Damien 5 Solin, Kim 5 Zanasi, Fabio 4 Furusawa, Hitoshi 4 Hirsch, Robin 4 Johansen, Christian 4 Mikulás, Szabolcs 4 Rabehaja, Tahiry M. 4 Rot, Jurriaan 4 Woodcock, James C. P. 4 Zhu, Huibiao 3 Armstrong, Alasdair 3 Cavalcanti, Ana 3 Colvin, Robert J. 3 Fahrenberg, Uli 3 Kahl, Wolfram 3 Kozen, Dexter C. 3 Luttik, Bas 3 Meinicke, Larissa A. 3 Roocks, Patrick 3 Stucke, Insa 3 van Staden, Stephan 3 Winter, Michael 3 Zeyda, Frank 2 Cranch, James 2 Docherty, Simon 2 Dongol, Brijesh 2 Doumane, Amina 2 Fischer, Sebastian 2 Glück, Roland 2 Huerta y Munive, Jonathan Julián 2 Hussain, Akbar 2 Khedri, Ridha 2 Kumar, Jitender 2 Laurence, Michael R. 2 Melo de Sousa, Simão 2 Moreira, Nelma 2 O’Hearn, Peter W. 2 Oliveira, José Nuno 2 Pereira, David P. 2 Petersen, Rasmus Lerchedahl 2 Preoteasa, Viorel 2 Pym, David J. 2 Sutcliffe, Geoff 2 van Heerdt, Gerco 2 Wehrman, Ian 2 Xie, Wanling 2 Ziemiański, Krzysztof 1 Abe, Tatsuya 1 Aboul-Hosn, Kamal 1 Aiguier, Marc 1 Alabbad, Mohammed 1 Alain, Mathieu 1 Alpuim, Joao 1 Bahrami, Diane 1 Balco, Samuel 1 Barbosa, Luís Soares 1 Baxter, James 1 Bhaduri, Purandar 1 Birkedal, Lars 1 Bonsangue, Marcello Maria 1 Braßel, Bernd 1 Brattka, Vasco 1 Brooke, Phillip J. 1 Caltais, Georgiana 1 Canham, Samuel 1 Christiansen, Jan 1 Cristiá, Maximiliano 1 Danilenko, Nikita 1 Das, Anupam 1 de Carufel, Jean-Lou 1 Doherty, Simon 1 Dragomir, Iulia 1 Engelhardt, Kai 1 Ésik, Zoltán 1 Frumin, Dan 1 Getir Yaman, Sinem 1 Golińska-Pilarek, Joanna 1 Gomes, Leandro G. 1 Gomes, Victor B. F. 1 Gould, Victoria A. R. 1 Grinenko, Anastasiya 1 Grunske, Lars 1 He, Jifeng ...and 65 more Authors all top 5 Cited in 30 Serials 35 Journal of Logical and Algebraic Methods in Programming 18 The Journal of Logic and Algebraic Programming 10 Formal Aspects of Computing 8 Theoretical Computer Science 5 Journal of Automated Reasoning 5 Logical Methods in Computer Science 4 Communications in Algebra 4 Information and Computation 3 Semigroup Forum 3 International Journal of Algebra and Computation 3 ACM Transactions on Computational Logic 2 Acta Informatica 2 Information Processing Letters 2 Algebra Universalis 2 Science of Computer Programming 2 MSCS. Mathematical Structures in Computer Science 1 Discrete Mathematics 1 Information Sciences 1 Journal of Philosophical Logic 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Studia Logica 1 Synthese 1 International Journal of Computer Mathematics 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Soft Computing 1 Fundamenta Informaticae 1 Journal of Applied Logic all top 5 Cited in 14 Fields 155 Computer science (68-XX) 62 Mathematical logic and foundations (03-XX) 14 Group theory and generalizations (20-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 11 General algebraic systems (08-XX) 9 Associative rings and algebras (16-XX) 9 Category theory; homological algebra (18-XX) 8 Combinatorics (05-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year