theta-waves
发表于 2025-3-27 00:16:50
http://reply.papertrans.cn/59/5880/587983/587983_31.png
FUSC
发表于 2025-3-27 01:53:26
http://reply.papertrans.cn/59/5880/587983/587983_32.png
sultry
发表于 2025-3-27 05:31:46
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.
委屈
发表于 2025-3-27 11:38:11
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
发表于 2025-3-27 15:08:23
http://reply.papertrans.cn/59/5880/587983/587983_35.png
FICE
发表于 2025-3-27 20:58:50
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 .
好忠告人
发表于 2025-3-28 00:07:26
http://reply.papertrans.cn/59/5880/587983/587983_37.png
ETHER
发表于 2025-3-28 05:17:31
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 , including the Recursion Inference Rule (but an additional axiom is needed), and also axioms corresponding to the extensionality axiom of set theory.
Occlusion
发表于 2025-3-28 08:32:59
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.
说不出
发表于 2025-3-28 12:43:09
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