Export 3 results:
Search results for biblio_type:Talks, contributed
Filters: Author is Peter Csaba Ölveczky [Reset Search]
Filters: Author is Peter Csaba Ölveczky [Reset Search]
Not a Real Paper - a Dummy to Demonstrate the Coauthorship Process at Simula In First International Conference on Time-Wasting in Computer Science. Carsten, 2007.
Order-Sorted Termination: the Unsorted Way In Proceedings 5th International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Aachen (Germany): Springer-Verlag, 1996.
Order-Sorted Termination: the Unsorted Way In Proceedings from NIK'95: Norsk Informatikk Konferanse, Gran., 1995.