Searching for authors named Sven Eric Panitz – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Modular termination of r-consistent and left-linear term rewriting systems
- …-Schauß 1 , Massimo Marchiori 2 , Sven Eric Panitz 1 1 Fachbereich Informatik, J…
- Cited by 3 (0 self) – Add To MetaCart
-
Default Reasoning with a Constraint Resolution Principle
- …Default Reasoning with a Constraint Resolution Principle Sven Eric Panitz Kunstliche Intelligenz…
- Add To MetaCart
-
Tinte: developing a prototype for typesetting music in Clean - a case study
- …Tinte: developing a prototype for typesetting music in Clean -- a case study Sven Eric Panitz…
- Add To MetaCart
-
Theorem Proving in a Russian Room and in Haskell
- …Theorem Proving in a Russian Room and in Haskell (Fachbeitrag) Sven Eric Panitz Fachbereich…
- Add To MetaCart
-
Proving Termination of Higher-Order Functional Programs with a Tableau-like Calculus
- …Proving Termination of Higher-Order Functional Programs with a Tableau-like Calculus Sven Eric…
- Add To MetaCart
-
TEA: Automatically proving termination of programs in a non-strict higher-order functional language
- … Sven Eric Panitz, Manfred Schmidt-Schau Fachbereich Informatik Johann Wolfgang Goethe…
- Cited by 7 (0 self) – Add To MetaCart
-
TEA: A system for proving termination of a non-strict higher-order functional language
- …TEA: A system for proving termination of a non-strict higher-order functional language Sven Eric…
- Cited by 1 (1 self) – Add To MetaCart
-
Termination Proofs for a Lazy Functional Language by Abstract Reduction
- …Termination Proofs for a Lazy Functional Language by Abstract Reduction (draft) Sven Eric Panitz…
- Cited by 2 (0 self) – Add To MetaCart
-
Efficient Strictness Analysis of Haskell in Haskell Using Abstract Reduction
- … and Manfred Schmidt-Schau 2 and Sven Eric Panitz 2 1 Fachbereich Mathematik und Informatik Institut fur…
- Add To MetaCart
Showing 1 through 9.
