Peter Ölveczky

External collaborator

Publications

Simula-affiliated publications listed

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

First International Conference on Time-Wasting in Computer Science

P. C. Ölveczky and O. Lysne

Order-Sorted Termination: the Unsorted Way

Proceedings 5th International Conference on Algebraic and Logic Programming

P. C. Ölveczky and O. Lysne

Order-Sorted Termination: the Unsorted Way

Proceedings from NIK'95: Norsk Informatikk Konferanse, Gran