Titlebook: Computer Science Logic; 8th Workshop, CSL ‘9 Leszek Pacholski,Jerzy Tiuryn Conference proceedings 1995 Springer-Verlag Berlin Heidelberg 19

轻快带来危险

Hyperalgesia

https://doi.org/10.1057/9781137295057adic second-order logic with addition captures the class NLIN, so enlarging considerably the set of natural problems expressible in this logic. Moreover, we also prove that this logic still captures NLIN even if first-order part of the second-order formulas is required to be ∀.∃., so improving the recent similar result of J.F.Lynch about NTIME(.).

星星

ONYM

Individual

启发

crescendo

GOAT

https://doi.org/10.1007/978-1-4612-5080-7fective computational characteristic of the λ definable functions between arbitrary free algebras and the expressiveness of such transformations. As an example we will consider λ definability between well known free structures such as: numbers, words and trees. The result obtained in the paper is an

nuclear-tests

积云