A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Display formulas [help]

Pearce, David ; Rantala, Veikko, Constructing a General Model of Theory Dynamics (1982)
Pearce, David ; Rantala, Veikko, Correspondance as an Intertheory Relation (1982)
Pearce, David ; Rantala, Veikko, New Foundations for Metascience (1982)
Perkins, Peter, Decision Problems for Equational Theories of Semigroups and General Algebras
Perkins, Peter, Decision Problems for Equational Theories of Semigroups and General Algebras (1966)
Perles, M. ; Rabin, M. O. ; Shamir, E., The Theory of Definite Automata (1961)
Péter, Rózsa, Zum Begriff der Rekursiven Reellen Zahl (1949)
Péter, Rózsa, Über die Verallgemeinerung der Theorie der Rekursiven Funktionen für Abstrakte Mengen Geeigneter Struktur als Definitionsbereiche (1959)
Péter, Rózsa, A Hu Shih-Hua-féle lánctörtszerű rekurzió és a Hilbert-féle II. osztály (1960)
Péter, Rózsa, Primitiv-Rekursive Wortbeziehungen in der Programmierungssprache ,,Algol 60'' (1961)