Titlebook: Mathematical Foundations of Computer Science 2015; 40th International S Giuseppe F Italiano,Giovanni Pighizzini,Donald T. Conference proce

misperceive

书目名称Mathematical Foundations of Computer Science 2015影响因子(影响力)




书目名称Mathematical Foundations of Computer Science 2015影响因子(影响力)学科排名




书目名称Mathematical Foundations of Computer Science 2015网络公开度




书目名称Mathematical Foundations of Computer Science 2015网络公开度学科排名




书目名称Mathematical Foundations of Computer Science 2015被引频次




书目名称Mathematical Foundations of Computer Science 2015被引频次学科排名




书目名称Mathematical Foundations of Computer Science 2015年度引用




书目名称Mathematical Foundations of Computer Science 2015年度引用学科排名




书目名称Mathematical Foundations of Computer Science 2015读者反馈




书目名称Mathematical Foundations of Computer Science 2015读者反馈学科排名

landfill

偶像

When Are Prime Formulae Characteristic?esents general, sufficient conditions guaranteeing that characteristic formulae are exactly the consistent and prime ones. It is shown that the given conditions apply to the logics characterizing all the semantics in van Glabbeek’s branching-time spectrum.

1FAWN

Recurrence Function on Sturmian Words: A Probabilistic Study of factor lengths which have a given “position” with respect to the sequence of continuants of ., we then let . to be uniformly drawn inside the unit interval [0,1]. This probabilistic model is well-adapted to better understand the role of the position in the recurrence properties.

TRAWL

A Circuit Complexity Approach to Transductionscuits. To this end, a circuit framework of independent interest that allows variable output length is introduced. Relying on it, there is a general characterization of the set of transductions realizable by circuits. It is then decidable whether a transduction is definable in . and, assuming a well-established conjecture, the same for ..

离开

Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculusions bring about no extra expressivity to either of the two logics, “unbounded-memory” binary relations make the bisimulation-invariant fragment of . with path relation more expressive than the jumping mu-calculus: the existence of winning strategies in games with imperfect-information inhabits the gap.

河潭

Quasiperiodicity and Non-computability in Tilingsnique and make it enforce the property of local regularity of tilings needed for quasiperiodicity. We prove also a stronger result: any .-class can be recursively transformed into a tile set so that the Turing degrees of the resulting tilings consists exactly of the upper cone based on the Turing degrees of the latter.

Delectable

Conference proceedings 2015ly selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).

上釉彩

Conference proceedings 2015 of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized i

VERT

Locally Chain-Parsable Languagestly include the ID languages, and for which a parallel-parser generator exists. Consistently with the classical results for ID, chain-compatible LCPL are closed under reversal and Boolean operations, and language inclusion is decidable.