Titlebook: Logic and Program Semantics; Essays Dedicated to Robert L. Constable,Alexandra Silva Book 2012 Springer-Verlag Berlin Heidelberg 2012 alge

theta-waves

FUSC

sultry

Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer ModelThese results create a mathematical and computational foundation for a more general and practical problem of inferring HGTs from given gene and species trees with HGTs. We also demonstrate how our model can be used to support HGT hypotheses based on empirical data sets.

委屈

On the Final Coalgebra of Automatic Sequencesf automatic sequences carries a final coalgebra structure, consisting of the operations of head, even, and odd. This will allow us to show that automatic sequences are to (general) streams what rational languages are to (arbitrary) languages.

CRAMP

FICE

On Distance Coloring a generalization of tree decompositions to overlay graphs other than trees; a general construction that obtains such decompositions from certain classes of edge partitions; and the use of homology to analyze the cycle structure of colorable graphs. This paper is both a combining and reworking of the papers of Sharp and Kozen [14, 10].

好忠告人

ETHER

A Complete Logical System for the Equality of Recursive Terms for Setsisimulation. Our logical system is a sequent-style deduction system. The main axioms and inference rules come from the .-proof system from [6], including the Recursion Inference Rule (but an additional axiom is needed), and also axioms corresponding to the extensionality axiom of set theory.

Occlusion

Combining Epistemic Logic and Hennessy-Milner Logicurrent state and past history of the execution. This is in the spirit of dynamic epistemic logic but is a direct combination of Hennessy-Milner logic and epistemic logic. We give an axiomatization for the logic and prove a completeness theorem with respect to the class of models obtained by unfolding labelled transition systems.

说不出

0302-9743 emorative publicationThis Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19