Titlebook: CSL ‘89; 3rd Workshop on Comp Egon B?rger,Hans Kleine Büning,Michael M. Richter Conference proceedings 1990 Springer-Verlag Berlin Heidelbe

乞丐

978-3-540-52753-4Springer-Verlag Berlin Heidelberg 1990

調(diào)味品

要求比…更好

Friction

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

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.

刺穿

弄皺

藝術(shù)

SENT

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.

灌輸

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.