Edit Profile (opens in new tab) Schmidt-Schauß, Manfred Co-Author Distance Author ID: schmidt-schauss.manfred Published as: Schmidt-Schauß, Manfred; Schmidt-Schauss, Manfred; Schmidt-Schauss, M. more...less External Links: MGP Documents Indexed: 86 Publications since 1985, including 1 Book 2 Contributions as Editor Co-Authors: 35 Co-Authors with 63 Joint Publications 523 Co-Co-Authors all top 5 Co-Authors 25 single-authored 26 Sabel, David 7 Levy, Jordi 7 Villaret, Mateu 5 Machkasova, Elena 5 Schulz, Klaus U. 4 Gascón, Adrià 4 Kutz, Yunus D. K. 4 Lohrey, Markus 3 Godoy, Guillem 2 Bürckert, Hans Jürgen 2 Chiba, Yuki 2 Herold, Alexander 2 Kutsia, Temur 2 Kutzner, Arne 2 Maneth, Sebastian 2 Niehren, Joachim 2 Rau, Conrad 2 Schütz, Marko 2 Schwinghammer, Jan 2 Sobrinho, Daniele Nantes 2 Tiwari, Ashish Kumar 1 Anis, Altug 1 Boudet, Alexandre 1 Escobar, Santiago 1 Jouannaud, Jean-Pierre 1 Kim, Pok-Son 1 Mann, Matthias 1 Marchiori, Massimo 1 Nishida, Naoki 1 Ohlbach, Hans Jürgen 1 Panitz, Sven Eric 1 Sakai, Masahiko 1 Schnitger, Georg 1 Smolka, Gert 1 Stuber, Jürgen all top 5 Serials 9 Journal of Symbolic Computation 6 Theoretical Computer Science 3 Information Processing Letters 3 Journal of Automated Reasoning 3 Mathematical Structures in Computer Science 2 Information and Computation 2 Theory of Computing Systems 2 OASIcs – OpenAccess Series in Informatics 1 Artificial Intelligence 1 Journal of Computer and System Sciences 1 SIAM Journal on Computing 1 Journal of Logic and Computation 1 Journal of Functional Programming 1 Logic Journal of the IGPL 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 83 Computer science (68-XX) 29 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Group theory and generalizations (20-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 73 Publications have been cited 547 times in 342 Documents Cited by ▼ Year ▼ Attributive concept descriptions with complements. Zbl 0712.68095 Schmidt-Schauß, Manfred; Smolka, Gert 96 1991 Computational aspects of an order-sorted logic with term declarations. Zbl 0689.68001 Schmidt-Schauss, Manfred 39 1989 Unification in a combination of arbitrary disjoint equational theories. Zbl 0691.03003 Schmidt-Schauß, Manfred 38 1989 Parameter reduction and automata evaluation for grammar-compressed trees. Zbl 1246.68114 Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred 20 2012 Unification under associativity and idempotence is of type nullary. Zbl 0626.68069 Schmidt-Schauß, Manfred 17 1986 Nominal unification of higher order expressions with recursive let. Zbl 1485.68074 Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu 16 2017 Safety of Nöcker’s strictness analysis. Zbl 1153.68012 Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko 15 2008 Subsumption in KL-ONE is undecidable. Zbl 0709.68096 Schmidt-Schauß, Manfred 14 1989 On equational theories, unification and decidability. Zbl 0638.68102 Bürckert, Hans-Jürgen; Herold, Alexander; Schmidt-Schauß, Manfred 12 1987 Unification in Boolean rings and Abelian groups. Zbl 0689.68040 Boudet, Alexandre; Jouannaud, Jean-Pierre; Schmidt-Schauss, Manfred 12 1989 On the exponent of periodicity of minimal solutions of context equations. Zbl 0901.03034 Schmidt-Schauß, Manfred; Schulz, Klaus U. 11 1998 A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations. Zbl 1153.68011 Sabel, David; Schmidt-Schauss, Manfred 11 2008 Unification in many-sorted equational theories. Zbl 0643.68138 Schmidt-Schauss, Manfred 10 1986 Unification in a combination of arbitrary disjoint equational theories. Zbl 0661.68092 Schmidt-Schauß, Manfred 10 1988 On equational theories, unification, and (un)decidability. Zbl 0684.03004 Bürckert, Hans-Jürgen; Herold, Alexander; Schmidt-Schauss, Manfred 10 1989 Implication of clauses is undecidable. Zbl 0657.03006 Schmidt-Schauss, Manfred 10 1988 Unification and matching on compressed terms. Zbl 1351.68128 Gascón, Adrià; Godoy, Guillem; Schmidt-Schauss, Manfred 10 2011 Observational semantics for a concurrent lambda calculus with reference cells and futures. Zbl 1316.68034 Niehren, Joachim; Sabel, David; Schmidt-Schauß, Manfred; Schwinghammer, Jan 9 2007 Solvability of context equations with two context variables is decidable. Zbl 1017.68165 Schmidt-Schauß, Manfred; Schulz, Klaus U. 9 2002 A decision algorithm for stratified context unification. Zbl 1019.03002 Schmidt-Schauß, Manfred 9 2002 Unification in permutative equational theories is undecidable. Zbl 0684.03019 Schmidt-Schauss, Manfred 8 1989 On generic context lemmas for higher-order calculi with sharing. Zbl 1191.68165 Schmidt-Schauß, Manfred; Sabel, David 7 2010 Nominal unification with atom-variables. Zbl 1395.68096 Schmidt-Schauß, Manfred; Sabel, David; Kutz, Yunus D. K. 7 2019 A non-deterministic call-by-need lambda calculus. Zbl 1369.68106 Kutzner, Arne; Schmidt-Schauß, Manfred 7 1997 Decidability of unification in the theory of one-sided distributivity and a multiplicative unit. Zbl 0865.68065 Schmidt-Schauß, Manfred 6 1996 Modular termination of \(r\)-consistent and left-linear term rewriting systems. Zbl 0874.68159 Schmidt-Schauß, Manfred; Marchiori, Massimo; Panitz, Sven Eric 6 1995 A decision algorithm for distributive unification. Zbl 0912.68060 Schmidt-Schauß, Manfred 6 1998 The complexity of linear and stratified context matching problems. Zbl 1061.68179 Schmidt-Schauß, Manfred; Stuber, Jürgen 6 2004 Bounded second-order unification is NP-complete. Zbl 1151.68450 Levy, Jordi; Schmidt-Schauß, Manfred; Villaret, Mateu 6 2006 Conservative concurrency in Haskell. Zbl 1361.68049 Sabel, David; Schmidt-Schauß, Manfred 6 2012 On the complexity of bounded second-order unification and stratified context unification. Zbl 1252.68160 Levy, Jordi; Schmidt-Schauß, Manfred; Villaret, Mateu 5 2011 Decidability of bounded second order unification. Zbl 1078.68139 Schmidt-Schauß, Manfred 5 2004 Stratified context unification is NP-complete. Zbl 1196.68112 Levy, Jordi; Schmidt-Schauß, Manfred; Villaret, Mateu 5 2006 Problem corner: The Lion and the Unicorn. Zbl 0616.68077 Ohlbach, H. J.; Schmidt-Schauss, M. 4 1985 Fast equality test for straight-line compressed strings. Zbl 1243.68324 Schmidt-Schauß, Manfred; Schnitger, Georg 4 2012 Context unification with one context variable. Zbl 1192.68431 Gascón, Adrià; Godoy, Guillem; Schmidt-Schauß, Manfred; Tiwari, Ashish 4 2010 Algorithms for extended alpha-equivalence and complexity. Zbl 1356.68046 Schmidt-Schauß, Manfred; Rau, Conrad; Sabel, David 4 2011 The complexity of monadic second-order unification. Zbl 1166.03004 Levy, Jordi; Schmidt-Schauß, Manfred; Villaret, Mateu 4 2008 Rewriting with generalized nominal unification. Zbl 1495.68115 Kutz, Yunus; Schmidt-Schauß, Manfred 4 2020 Nominal unification with atom and context variables. Zbl 1462.68026 Schmidt-Schauß, Manfred; Sabel, David 3 2018 An algorithm for distributive unification. Zbl 1503.03020 Schmidt-Schauß, Manfred 3 1996 Closures of may-, should- and must-convergences for contextual equivalence. Zbl 1209.68308 Schmidt-Schauß, Manfred; Sabel, David 3 2010 Parameter reduction in grammar-compressed trees. Zbl 1234.68182 Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred 3 2009 Observational program calculi and the correctness of translations. Zbl 1309.68052 Schmidt-Schauß, Manfred; Sabel, David; Niehren, Joachim; Schwinghammer, Jan 3 2015 Extending Abramsky’s lazy lambda calculus: (non)-conservativity of embeddings. Zbl 1356.68037 Schmidt-Schauß, Manfred; Machkasova, Elena; Sabel, David 3 2011 Unification in a many-sorted calculus with declarations. Zbl 0615.68061 Schmidt-Schauß, Manfred 2 1986 Unification under one-sided distributivity with a multiplicative unit. Zbl 0793.68140 Schmidt-Schauß, Manfred 2 1993 Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq. Zbl 1352.68123 Schmidt-Schauß, Manfred; Sabel, David; Machkasova, Elena 2 2015 Correctness of copy in calculi with letrec. Zbl 1203.68032 Schmidt-Schauß, Manfred 2 2007 Solvability of context equations with two context variables is decidable. Zbl 0941.68070 Schmidt-Schauß, Manfred; Schulz, Klaus U. 2 1999 Decidability of behavioural equivalence in unary PCF. Zbl 0914.68125 Schmidt-Schauß, Manfred 2 1999 Linear compressed pattern matching for polynomial rewriting (extended abstract). Zbl 1464.68145 Schmidt-Schauss, Manfred 2 2013 Matching of compressed patterns with character-variables. Zbl 1437.68209 Schmidt-Schauß, Manfred 2 2012 Simulation in the call-by-need lambda-calculus with letrec. Zbl 1236.68148 Schmidt-Schauss, Manfred; Sabel, David; Machkasova, Elena 2 2010 Congruence closure of compressed terms in polynomial time. Zbl 1348.68085 Schmidt-Schauss, Manfred; Sabel, David; Anis, Altug 2 2011 Nominal unification and matching of higher order expressions with recursive let. Zbl 1540.68114 Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu; Kutz, Yunus 2 2022 Monadic second-order unification is NP-complete. Zbl 1187.68278 Levy, Jordi; Schmidt-Schauß, Manfred; Villaret, Mateu 2 2004 A finite simulation method in a non-deterministic call-by-need lambda-calculus with letrec, constructors, and case. Zbl 1145.68377 Schmidt-Schauss, Manfred; Machkasova, Elena 2 2008 Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec. Zbl 1260.68075 Schmidt-Schauß, Manfred; Sabel, David; Machkasova, Elena 2 2011 Correctness of program transformations as a termination problem. Zbl 1358.68076 Rau, Conrad; Sabel, David; Schmidt-Schauß, Manfred 2 2012 Unification with singleton tree grammars. Zbl 1242.68132 Gascón, Adrià; Godoy, Guillem; Schmidt-Schauß, Manfred 2 2009 Decidability of arity-bounded higher-order matching. Zbl 1278.68281 Schmidt-Schauß, Manfred 2 2003 Correctness of an STM Haskell implementation. Zbl 1323.68154 Schmidt-Schauß, Manfred; Sabel, David 2 2013 Decidability of bounded higher-order unification. Zbl 1126.03017 Schmidt-Schauß, Manfred; Schulz, Klaus U. 2 2005 Deciding inclusion of set constants over infinite non-strict data structures. Zbl 1146.68353 Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko 1 2007 Stratified context unification is in PSPACE. Zbl 0999.03008 Schmidt-Schauß, Manfred 1 2001 Decidability of bounded higher-order unification. Zbl 1021.03004 Schmidt-Schauß, Manfred; Schulz, Klaus U. 1 2002 Observing success in the pi-calculus. Zbl 1428.68206 Sabel, David; Schmidt-Schauß, Manfred 1 2015 Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi. Zbl 1187.68129 Mann, Matthias; Schmidt-Schauß, Manfred 1 2010 A two-valued logic for properties of strict functional programs allowing partial functions. Zbl 1267.68088 Sabel, David; Schmidt-Schauß, Manfred 1 2013 Linear pattern matching of compressed terms and polynomial rewriting. Zbl 1398.68283 Schmidt-Schauß, Manfred 1 2018 Processing succinct matrices and vectors. Zbl 1378.68086 Lohrey, Markus; Schmidt-Schauß, Manfred 1 2014 Two-restricted one context unification is in polynomial time. Zbl 1373.68269 Gascón, Adrià; Schmidt-Schauß, Manfred; Tiwari, Ashish 1 2015 Nominal unification and matching of higher order expressions with recursive let. Zbl 1540.68114 Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu; Kutz, Yunus 2 2022 Rewriting with generalized nominal unification. Zbl 1495.68115 Kutz, Yunus; Schmidt-Schauß, Manfred 4 2020 Nominal unification with atom-variables. Zbl 1395.68096 Schmidt-Schauß, Manfred; Sabel, David; Kutz, Yunus D. K. 7 2019 Nominal unification with atom and context variables. Zbl 1462.68026 Schmidt-Schauß, Manfred; Sabel, David 3 2018 Linear pattern matching of compressed terms and polynomial rewriting. Zbl 1398.68283 Schmidt-Schauß, Manfred 1 2018 Nominal unification of higher order expressions with recursive let. Zbl 1485.68074 Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu 16 2017 Observational program calculi and the correctness of translations. Zbl 1309.68052 Schmidt-Schauß, Manfred; Sabel, David; Niehren, Joachim; Schwinghammer, Jan 3 2015 Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq. Zbl 1352.68123 Schmidt-Schauß, Manfred; Sabel, David; Machkasova, Elena 2 2015 Observing success in the pi-calculus. Zbl 1428.68206 Sabel, David; Schmidt-Schauß, Manfred 1 2015 Two-restricted one context unification is in polynomial time. Zbl 1373.68269 Gascón, Adrià; Schmidt-Schauß, Manfred; Tiwari, Ashish 1 2015 Processing succinct matrices and vectors. Zbl 1378.68086 Lohrey, Markus; Schmidt-Schauß, Manfred 1 2014 Linear compressed pattern matching for polynomial rewriting (extended abstract). Zbl 1464.68145 Schmidt-Schauss, Manfred 2 2013 Correctness of an STM Haskell implementation. Zbl 1323.68154 Schmidt-Schauß, Manfred; Sabel, David 2 2013 A two-valued logic for properties of strict functional programs allowing partial functions. Zbl 1267.68088 Sabel, David; Schmidt-Schauß, Manfred 1 2013 Parameter reduction and automata evaluation for grammar-compressed trees. Zbl 1246.68114 Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred 20 2012 Conservative concurrency in Haskell. Zbl 1361.68049 Sabel, David; Schmidt-Schauß, Manfred 6 2012 Fast equality test for straight-line compressed strings. Zbl 1243.68324 Schmidt-Schauß, Manfred; Schnitger, Georg 4 2012 Matching of compressed patterns with character-variables. Zbl 1437.68209 Schmidt-Schauß, Manfred 2 2012 Correctness of program transformations as a termination problem. Zbl 1358.68076 Rau, Conrad; Sabel, David; Schmidt-Schauß, Manfred 2 2012 Unification and matching on compressed terms. Zbl 1351.68128 Gascón, Adrià; Godoy, Guillem; Schmidt-Schauss, Manfred 10 2011 On the complexity of bounded second-order unification and stratified context unification. Zbl 1252.68160 Levy, Jordi; Schmidt-Schauß, Manfred; Villaret, Mateu 5 2011 Algorithms for extended alpha-equivalence and complexity. Zbl 1356.68046 Schmidt-Schauß, Manfred; Rau, Conrad; Sabel, David 4 2011 Extending Abramsky’s lazy lambda calculus: (non)-conservativity of embeddings. Zbl 1356.68037 Schmidt-Schauß, Manfred; Machkasova, Elena; Sabel, David 3 2011 Congruence closure of compressed terms in polynomial time. Zbl 1348.68085 Schmidt-Schauss, Manfred; Sabel, David; Anis, Altug 2 2011 Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec. Zbl 1260.68075 Schmidt-Schauß, Manfred; Sabel, David; Machkasova, Elena 2 2011 On generic context lemmas for higher-order calculi with sharing. Zbl 1191.68165 Schmidt-Schauß, Manfred; Sabel, David 7 2010 Context unification with one context variable. Zbl 1192.68431 Gascón, Adrià; Godoy, Guillem; Schmidt-Schauß, Manfred; Tiwari, Ashish 4 2010 Closures of may-, should- and must-convergences for contextual equivalence. Zbl 1209.68308 Schmidt-Schauß, Manfred; Sabel, David 3 2010 Simulation in the call-by-need lambda-calculus with letrec. Zbl 1236.68148 Schmidt-Schauss, Manfred; Sabel, David; Machkasova, Elena 2 2010 Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi. Zbl 1187.68129 Mann, Matthias; Schmidt-Schauß, Manfred 1 2010 Parameter reduction in grammar-compressed trees. Zbl 1234.68182 Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred 3 2009 Unification with singleton tree grammars. Zbl 1242.68132 Gascón, Adrià; Godoy, Guillem; Schmidt-Schauß, Manfred 2 2009 Safety of Nöcker’s strictness analysis. Zbl 1153.68012 Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko 15 2008 A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations. Zbl 1153.68011 Sabel, David; Schmidt-Schauss, Manfred 11 2008 The complexity of monadic second-order unification. Zbl 1166.03004 Levy, Jordi; Schmidt-Schauß, Manfred; Villaret, Mateu 4 2008 A finite simulation method in a non-deterministic call-by-need lambda-calculus with letrec, constructors, and case. Zbl 1145.68377 Schmidt-Schauss, Manfred; Machkasova, Elena 2 2008 Observational semantics for a concurrent lambda calculus with reference cells and futures. Zbl 1316.68034 Niehren, Joachim; Sabel, David; Schmidt-Schauß, Manfred; Schwinghammer, Jan 9 2007 Correctness of copy in calculi with letrec. Zbl 1203.68032 Schmidt-Schauß, Manfred 2 2007 Deciding inclusion of set constants over infinite non-strict data structures. Zbl 1146.68353 Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko 1 2007 Bounded second-order unification is NP-complete. Zbl 1151.68450 Levy, Jordi; Schmidt-Schauß, Manfred; Villaret, Mateu 6 2006 Stratified context unification is NP-complete. Zbl 1196.68112 Levy, Jordi; Schmidt-Schauß, Manfred; Villaret, Mateu 5 2006 Decidability of bounded higher-order unification. Zbl 1126.03017 Schmidt-Schauß, Manfred; Schulz, Klaus U. 2 2005 The complexity of linear and stratified context matching problems. Zbl 1061.68179 Schmidt-Schauß, Manfred; Stuber, Jürgen 6 2004 Decidability of bounded second order unification. Zbl 1078.68139 Schmidt-Schauß, Manfred 5 2004 Monadic second-order unification is NP-complete. Zbl 1187.68278 Levy, Jordi; Schmidt-Schauß, Manfred; Villaret, Mateu 2 2004 Decidability of arity-bounded higher-order matching. Zbl 1278.68281 Schmidt-Schauß, Manfred 2 2003 Solvability of context equations with two context variables is decidable. Zbl 1017.68165 Schmidt-Schauß, Manfred; Schulz, Klaus U. 9 2002 A decision algorithm for stratified context unification. Zbl 1019.03002 Schmidt-Schauß, Manfred 9 2002 Decidability of bounded higher-order unification. Zbl 1021.03004 Schmidt-Schauß, Manfred; Schulz, Klaus U. 1 2002 Stratified context unification is in PSPACE. Zbl 0999.03008 Schmidt-Schauß, Manfred 1 2001 Solvability of context equations with two context variables is decidable. Zbl 0941.68070 Schmidt-Schauß, Manfred; Schulz, Klaus U. 2 1999 Decidability of behavioural equivalence in unary PCF. Zbl 0914.68125 Schmidt-Schauß, Manfred 2 1999 On the exponent of periodicity of minimal solutions of context equations. Zbl 0901.03034 Schmidt-Schauß, Manfred; Schulz, Klaus U. 11 1998 A decision algorithm for distributive unification. Zbl 0912.68060 Schmidt-Schauß, Manfred 6 1998 A non-deterministic call-by-need lambda calculus. Zbl 1369.68106 Kutzner, Arne; Schmidt-Schauß, Manfred 7 1997 Decidability of unification in the theory of one-sided distributivity and a multiplicative unit. Zbl 0865.68065 Schmidt-Schauß, Manfred 6 1996 An algorithm for distributive unification. Zbl 1503.03020 Schmidt-Schauß, Manfred 3 1996 Modular termination of \(r\)-consistent and left-linear term rewriting systems. Zbl 0874.68159 Schmidt-Schauß, Manfred; Marchiori, Massimo; Panitz, Sven Eric 6 1995 Unification under one-sided distributivity with a multiplicative unit. Zbl 0793.68140 Schmidt-Schauß, Manfred 2 1993 Attributive concept descriptions with complements. Zbl 0712.68095 Schmidt-Schauß, Manfred; Smolka, Gert 96 1991 Computational aspects of an order-sorted logic with term declarations. Zbl 0689.68001 Schmidt-Schauss, Manfred 39 1989 Unification in a combination of arbitrary disjoint equational theories. Zbl 0691.03003 Schmidt-Schauß, Manfred 38 1989 Subsumption in KL-ONE is undecidable. Zbl 0709.68096 Schmidt-Schauß, Manfred 14 1989 Unification in Boolean rings and Abelian groups. Zbl 0689.68040 Boudet, Alexandre; Jouannaud, Jean-Pierre; Schmidt-Schauss, Manfred 12 1989 On equational theories, unification, and (un)decidability. Zbl 0684.03004 Bürckert, Hans-Jürgen; Herold, Alexander; Schmidt-Schauss, Manfred 10 1989 Unification in permutative equational theories is undecidable. Zbl 0684.03019 Schmidt-Schauss, Manfred 8 1989 Unification in a combination of arbitrary disjoint equational theories. Zbl 0661.68092 Schmidt-Schauß, Manfred 10 1988 Implication of clauses is undecidable. Zbl 0657.03006 Schmidt-Schauss, Manfred 10 1988 On equational theories, unification and decidability. Zbl 0638.68102 Bürckert, Hans-Jürgen; Herold, Alexander; Schmidt-Schauß, Manfred 12 1987 Unification under associativity and idempotence is of type nullary. Zbl 0626.68069 Schmidt-Schauß, Manfred 17 1986 Unification in many-sorted equational theories. Zbl 0643.68138 Schmidt-Schauss, Manfred 10 1986 Unification in a many-sorted calculus with declarations. Zbl 0615.68061 Schmidt-Schauß, Manfred 2 1986 Problem corner: The Lion and the Unicorn. Zbl 0616.68077 Ohlbach, H. J.; Schmidt-Schauss, M. 4 1985 all cited Publications top 5 cited Publications all top 5 Cited by 409 Authors 39 Schmidt-Schauß, Manfred 27 Baader, Franz 17 Sabel, David 14 Lohrey, Markus 11 Maneth, Sebastian 9 Meseguer Guaita, José 8 Nutt, Werner 8 Sobrinho, Daniele Nantes 7 Ayala-Rincón, Mauricio 7 Fernández, Maribel 7 Narendran, Paliath 7 Peñaloza, Rafael 7 Schulz, Klaus U. 7 Straccia, Umberto 6 Bürckert, Hans Jürgen 6 Jiang, Yuncheng 6 Kutsia, Temur 5 Alpuente, María 5 Bobillo, Fernando 5 Donini, Francesco M. 5 Escobar, Santiago 5 Gascón, Adrià 5 Niehren, Joachim 5 Nipkow, Tobias 5 Qian, Zhenyu 5 Ringeissen, Christophe 4 Erbatur, Serdar 4 Hollunder, Bernhard 4 Kaneiwa, Ken 4 Kirchner, Claude 4 Kutz, Yunus D. K. 4 Lenzerini, Maurizio 4 Marchiori, Massimo 4 Marshall, Andrew M. 4 Smolka, Gert 4 Tang, Suqin 4 Tang, Yong 4 Tinelli, Cesare 4 Wang, Ju 4 Weidenbach, Christoph 3 Boudet, Alexandre 3 Chen, Qimai 3 de Carvalho-Segundo, Washington 3 Godoy, Guillem 3 Gramlich, Bernhard 3 Horrocks, Ian 3 Jeż, Artur 3 Jouannaud, Jean-Pierre 3 Kirchner, Hélène 3 Levy, Jordi 3 Lutz, Carsten 3 Nardi, Daniele 3 Nebel, Bernhard 3 Nöth, Eric 3 Reh, Carl Philipp 3 Rusinowitch, Michaël 3 Sattler, Ulrike 3 Schmidt, Renate A. 3 Schneider, Thomas 3 Silva, Gabriel Ferreira 3 Tao, Jia 3 Tiwari, Ashish Kumar 3 Treinen, Ralf 3 Villaret, Mateu 2 Akshay, S. 2 Blanchette, Jasmin Christian 2 Borgwardt, Stefan 2 Brink, Chris 2 Calvanese, Diego 2 Chakraborty, Supratik 2 Chevalier, Yannick 2 Comon, Hubert 2 Cuenca-Ortega, Angel 2 De Giacomo, Giuseppe 2 Debart, Françoise 2 Demri, Stéphane P. 2 Dundua, Besik 2 Echenim, Mnacho 2 Eklund, Patrik E. 2 Engelfriet, Joost 2 Enjalbert, Patrice 2 Ganardi, Moses 2 Gavilanes, Antonio 2 Givan, Robert L. 2 Goguen, Joseph Amadee 2 Gottlob, Georg 2 Guo, Qing 2 Hanschke, Philipp 2 Henrio, Ludovic 2 Hermann, Miki 2 Heymans, Stijn 2 Hoche, Michael 2 Honavar, Vasant 2 Hucke, Danny 2 Johann, Patricia 2 Kazakov, Yevgeny 2 Kikuchi, Kentaro 2 Kohlhase, Michael 2 Kolaitis, Phokion G. 2 Leach, Javier ...and 309 more Authors all top 5 Cited in 54 Serials 33 Theoretical Computer Science 24 Artificial Intelligence 22 Journal of Symbolic Computation 21 Information and Computation 19 Journal of Automated Reasoning 9 Information Processing Letters 8 Mathematical Structures in Computer Science 7 Computers & Mathematics with Applications 7 Journal of Computer and System Sciences 5 Fuzzy Sets and Systems 5 Annals of Mathematics and Artificial Intelligence 5 Journal of Applied Logic 4 Information Sciences 4 International Journal of Approximate Reasoning 4 Journal of Applied Non-Classical Logics 3 Acta Informatica 3 The Journal of Symbolic Logic 3 New Generation Computing 3 Theory of Computing Systems 2 Algorithmica 2 Applicable Algebra in Engineering, Communication and Computing 2 Journal of Functional Programming 2 Fundamenta Informaticae 2 Theory and Practice of Logic Programming 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Journal of Algebra 1 Journal of Philosophical Logic 1 Semigroup Forum 1 Studia Logica 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Journal of Computer Science and Technology 1 International Journal of Intelligent Systems 1 Mathematical and Computer Modelling 1 Formal Aspects of Computing 1 Annals of Operations Research 1 Machine Learning 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Journal of Computer and Systems Sciences International 1 The Journal of Artificial Intelligence Research (JAIR) 1 Journal of the ACM 1 Higher-Order and Symbolic Computation 1 International Journal of Applied Mathematics and Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Lobachevskii Journal of Mathematics 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 The Journal of Logic and Algebraic Programming 1 Logic and Logical Philosophy 1 ACM Transactions on Computational Logic 1 Frontiers of Computer Science in China all top 5 Cited in 11 Fields 314 Computer science (68-XX) 140 Mathematical logic and foundations (03-XX) 10 General algebraic systems (08-XX) 5 Category theory; homological algebra (18-XX) 5 Group theory and generalizations (20-XX) 4 Information and communication theory, circuits (94-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Associative rings and algebras (16-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) 1 Statistics (62-XX) Citations by Year