Author:
Ferrarotti Flavio,González Senén,Turull-Torres José María
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;FN Abu-Khzam,2003
2. Beaudry, M., McKenzie, P.: Cicuits, matrices, and nonassociative computation. In: Proceedings of the Seventh Annual Structure in Complexity Theory Conference, Boston, Massachusetts, USA, 22–25 June 1992, pp. 94–106 (1992)
3. Graduate Texts in Mathematics;B Bollobás,2002
4. Monographs in Computer Science;RG Downey,1999
5. Perspectives in Mathematical Logic;HD Ebbinghaus,1999
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic;2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2018-09
2. Systematic Refinement of Abstract State Machines with Higher-Order Logic;Lecture Notes in Computer Science;2018