Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Sven Eric
Last name:	Panitz
DBLP:	30/716
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 4 of 4  

Select a publication
Show	Title	Venue	Rating	Date
	Sven Eric Panitz, Manfred Schmidt-Schauß. TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language.	Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings 1997	(0)	1997
	Manfred Schmidt-Schauß, Sven Eric Panitz, Marko Schütz. Abstract Reduction Using a Tableau Calculus	Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings 1995	(0)	1995
	Manfred Schmidt-Schauß, Massimo Marchiori, Sven Eric Panitz. Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems.	Theor. Comput. Sci. 1995, Volume 149	(0)	1995
	Sven Eric Panitz. Default Reasoning with a Constraint Resolution Principle.	Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings 1993	(0)	1993

Your query returned 4 matches in the database.