| The Spectra of Words On the Undecidability of Coherent Logic Lob's Logic Meets the #-Calculus A Characterisation of Weak Bisimulation Congruence BShm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms Explaining Constraint Programming Sharing in the Weak Lambda-Calculus Term Rewriting Meets Aspect-Oriented Programming Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes Primitive Rewriting Infinitary Rewriting: From Syntax to Semantics Reducing Right-Hand Sides for Termination Reduction Strategies for Left-Linear Term Rewriting Systems Higher-Order Rewriting: Framework, Confluence and Termination Timing the Untimed: Terminating Successfully While Being Conservative Confluence of Graph Transformation Revisited Compositional Reasoning for Probabilistic Finite-State Behaviors Finite Equational Bases in Process Algebra: Results and Open Questions Skew and w-Skew Confluence and Abstract BShm Semantics A Mobility Calculus with Local and Dependent Types Model Theory for Process Algebra Expression Reduction Systems and Extensions: An Overview Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem Author Index |
内容加载中，请稍后...
商品评论（0条）