乞丐
发表于 2025-3-25 05:23:59
978-3-540-52753-4Springer-Verlag Berlin Heidelberg 1990
调味品
发表于 2025-3-25 11:16:14
http://reply.papertrans.cn/23/2206/220584/220584_22.png
要求比…更好
发表于 2025-3-25 14:13:24
http://reply.papertrans.cn/23/2206/220584/220584_23.png
Friction
发表于 2025-3-25 15:51:52
https://doi.org/10.1007/978-1-4939-1295-7A logical framework is introduced which captures the behaviour of oracle machines and gives logical descriptions of complexity classes that are defined by oracle machines. Using this technique the notion of first-order selfreducibility is investigated and applied to obtain a structural result about non-uniform complexity classes below P.
heterodox
发表于 2025-3-25 23:18:45
Carol Yeh-Yun Lin,Leif Edvinsson,Tord BedingWe generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to the study of verification and transformation of programs.
刺穿
发表于 2025-3-26 03:00:20
http://reply.papertrans.cn/23/2206/220584/220584_26.png
弄皱
发表于 2025-3-26 07:16:42
http://reply.papertrans.cn/23/2206/220584/220584_27.png
艺术
发表于 2025-3-26 08:30:47
http://reply.papertrans.cn/23/2206/220584/220584_28.png
SENT
发表于 2025-3-26 14:16:51
On logical descriptions of some concepts in structural complexity theory,A logical framework is introduced which captures the behaviour of oracle machines and gives logical descriptions of complexity classes that are defined by oracle machines. Using this technique the notion of first-order selfreducibility is investigated and applied to obtain a structural result about non-uniform complexity classes below P.
灌输
发表于 2025-3-26 18:24:39
Algebraic operational semantics and Occam,We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to the study of verification and transformation of programs.