Export 3 results:
Search results for 7677
Filters: 1 is biblio_type:Technical reports and Author is Peter Csaba Ölveczky  [Reset Search]
2007
C. Griwodz, L. Korsnes, N. Christophersen, S. Krogdahl, P. C. Ölveczky, J. Søberg, T. S. Lande and J. Hagen. 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.
1996
P. C. Ölveczky and O. Lysne. 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.
1995
P. C. Ölveczky and O. Lysne. Order-Sorted Termination: the Unsorted Way In Proceedings from NIK'95: Norsk Informatikk Konferanse, Gran., 1995.