Peter Szeredi (szeredi)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Emden, M. H. van and Szeredi, Peter. 1988. “Converting AND-Control to OR-Control by Program Transformation.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 699–709. San Francisco, California: Morgan Kaufmann Publishers.
Warren, David H. D. and Szeredi, Peter, eds. 1990. Logic Programming: Proceedings of the Seventh International Conference. Cambridge, Massachusetts: The MIT Press.