Author:
BUCHBERGER BRUNO,ROIDER BERNHARD
Subject
Computer Science Applications,Modeling and Simulation,Information Systems,Theoretical Computer Science,Control and Systems Engineering
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Chapter 11 A bibliography of recursive algebra and recursive model theory;Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory;1998
2. Bibliography;Computability, Complexity, Logic;1989
3. Universal automata with uniform bounds on simulation time;Information and Control;1982-01
4. Embedding Properties of Total Recursive Functions;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1982
5. Reduzierbarkeit von Berechenbaren Numerierungen von P1;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1980