Publications :: Search

Show author

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

Author information
First name:	Harald
Last name:	Zankl
DBLP:	49/4488
Rating:	(not rated yet)
Bookmark:

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

Show item 1 to 13 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp. Finding and Certifying Loops.	SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings 2010	(0)	2010
	Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp. Tyrolean Termination Tool 2.	Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings 2009	(0)	2009
	Harald Zankl, Christian Sternagel, Aart Middeldorp. Transforming SAT into Termination of Rewriting.	Electr. Notes Theor. Comput. Sci. 2009, Volume 246	(0)	2009
	Harald Zankl, Nao Hirokawa, Aart Middeldorp. KBO Orientability.	J. Autom. Reasoning 2009, Volume 43	(0)	2009
	Harald Zankl, Aart Middeldorp. Increasing Interpretations.	Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings 2008	(0)	2008
	Nao Hirokawa, Aart Middeldorp, Harald Zankl. Uncurrying for Termination.	Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings 2008	(0)	2008
	Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl. Maximal Termination.	Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings 2008	(0)	2008
	Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl. Implementing RPO and POLO using SAT.	Deduction and Decision Procedures, 30.09. - 05.10.2007 2007	(0)	2007
	Harald Zankl, Aart Middeldorp. Satisfying KBO Constraints.	Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings 2007	(0)	2007
	Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl. SAT Solving for Termination Analysis with Polynomial Interpretations.	Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings 2007	(0)	2007
	Harald Zankl, Nao Hirokawa, Aart Middeldorp. Constraints for Argument Filterings.	SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings 2007	(0)	2007
	Harald Zankl. SAT Techniques for Lexicographic Path Orders	CoRR 2006, Volume 0	(0)	2006
	Harald Zankl, Aart Middeldorp. Satisfying KBO Constraints	CoRR 2006, Volume 0	(0)	2006

Your query returned 13 matches in the database.