Export 3 results:
Search results for biblio_year:1979
Filters: 1 is biblio_year:1989 and 2 is biblio_year:2015 and 3 is biblio_year:1988 and 4 is biblio_year:1978 and 5 is biblio_year:1980 and 6 is biblio_year:1995 and 7 is biblio_type:Book and 8 is biblio_year:2012 and 9 is biblio_year:2001 and Author is Peter Csaba Ölveczky  [Reset Search]
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.