Manfred Schmidt-Schauß
Manfred Schmidt-Schauß
Professor für Informatik, Goethe-University Frankfurt
Dirección de correo verificada de ki.informatik.uni-frankfurt.de
TítuloCitado porAño
Attributive concept descriptions with complements
M Schmidt-Schauß, G Smolka
Artificial intelligence 48 (1), 1-26, 1991
14481991
Subsumption in KL-ONE is undecidable
M Schmidt-Schau
Principles of Knowledge Representation and Reasoning: Proceedings of the 1st …, 1989
3031989
Computational Aspects of Order Sorted Logic with Term Declarations
M Schmidt-Schauß
Vol. 359 of Springer Lecture Notes in Artificial Intelligence, 1989
2621989
Unification in a combination of arbitrary disjoint equational theories
M Schmidt-Schauß
Journal of Symbolic Computation 8 (1-2), 51-99, 1989
1531989
On equational theories, unification, and (un) decidability
HJ Bürckert, A Herold, M Schmidt-Schauss
Journal of Symbolic Computation 8 (1-2), 3-49, 1989
871989
Implication of clauses is undecidable
M Schmidt-Schauss
Theoretical Computer Science 59 (3), 287-296, 1988
741988
Safety of nöcker's strictness analysis
M Schmidt-Schauß, D Sabel, M SchÜtz
Journal of functional programming 18 (4), 503-551, 2008
612008
Unification in Boolean rings and Abelian groups
A Boudet, JP Jouannaud, M Schmidt-Schauss
Journal of Symbolic Computation 8 (5), 449-477, 1989
591989
A decision algorithm for distributive unification
M Schmidt-Schauβ
Theoretical Computer Science 208 (1-2), 111-148, 1998
53*1998
A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
D Sabel, M Schmidt-Schauß
Mathematical Structures in Computer Science 18 (3), 501-553, 2008
512008
Unification under associativity and idempotence is of type nullary
M Schmidt-Schauss
Journal of Automated Reasoning 2 (3), 277-281, 1986
511986
On the exponent of periodicity of minimal solutions of context equations
M Schmidt-Schauß, KU Schulz
International Conference on Rewriting Techniques and Applications, 61-75, 1998
501998
A decision algorithm for stratified context unification
M Schmidt‐Schauß
Journal of Logic and Computation 12 (6), 929-953, 2002
432002
A non-deterministic call-by-need lambda calculus
A Kutzner, M Schmidt-Schauß
ACM SIGPLAN Notices 34 (1), 324-335, 1998
431998
TEA: Automatically proving termination of programs in a non-strict higher-order functional language
SE Panitz, M Schmidt-Schauß
International Static Analysis Symposium, 345-360, 1997
411997
Combination of unification algorithms
M Schmidt-Schauß
Journal of Symbolic Computation 8 (1-2), 51-100, 1989
411989
Unification in many-sorted equational theories
M Schmidt-Schauß
International Conference on Automated Deduction, 538-552, 1986
401986
A fast branching algorithm for cluster vertex deletion
A Boral, M Cygan, T Kociumaka, M Pilipczuk
Theory of Computing Systems 58 (2), 357-376, 2016
39*2016
Observational semantics for a concurrent lambda calculus with reference cells and futures
J Niehren, D Sabel, M Schmidt-Schauß, J Schwinghammer
Electronic Notes in Theoretical Computer Science 173, 313-337, 2007
382007
A many-sorted calculus with polymorphic functions based on resolution and paramodulation
M Schmidt-Schauss
Fachbereich Informatik, Universität Kaiserslautern, 1985
381985
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20