( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time.

, , , и . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

José González

Margarita González

Lillian González

Olegario González

Andrés González

 

Другие публикации лиц с тем же именем

Document identifier reassignment and run-length-compressed inverted indexes for improved search performance., , , и . SIGIR, стр. 173-182. ACM, (2013)A restricted second-order logic for non-deterministic poly-logarithmic time., , , и . Log. J. IGPL, 28 (3): 389-412 (2020)A vector model for routing queries in web search engines., , , , , и . ICCS, том 1 из Procedia Computer Science, стр. 457-464. Elsevier, (2010)ASM Specification and Refinement of a Quantum Algorithm., и . Logic, Computation and Rigorous Methods, том 12750 из Lecture Notes in Computer Science, стр. 135-146. Springer, (2021)Scheduling Intersection Queries in Term Partitioned Inverted Files., , , и . Euro-Par, том 5168 из Lecture Notes in Computer Science, стр. 434-443. Springer, (2008)Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems., , , и . FoIKS, том 12012 из Lecture Notes in Computer Science, стр. 90-105. Springer, (2020)BSP abstract state machines capture bulk synchronous parallel computations., , и . Sci. Comput. Program., (2019)Systematic Refinement of Abstract State Machines with Higher-Order Logic., , , и . ABZ, том 10817 из Lecture Notes in Computer Science, стр. 204-218. Springer, (2018)Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection., , , , и . ABZ, том 12709 из Lecture Notes in Computer Science, стр. 118-123. Springer, (2021)A logic for reflective ASMs., , и . Sci. Comput. Program., (2021)