The SCEAS System
Navigation Menu

Conferences in DBLP

Birthday ... (birthday)
2005 (conf/birthday/2005klop)

  1. Robin Milner
    The Spectra of Words. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:1-5 [Conf]
  2. Marc Bezem
    On the Undecidability of Coherent Logic. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:6-13 [Conf]
  3. Albert Visser
    Löb's Logic Meets the µ-Calculus. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:14-25 [Conf]
  4. Rob J. van Glabbeek
    A Characterisation of Weak Bisimulation Congruence. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:26-39 [Conf]
  5. Richard Statman, Henk Barendregt
    Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:40-54 [Conf]
  6. Krzysztof R. Apt
    Explaining Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:55-69 [Conf]
  7. Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget
    Sharing in the Weak Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:70-87 [Conf]
  8. Paul Klint, Tijs van der Storm, Jurgen J. Vinju
    Term Rewriting Meets Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:88-105 [Conf]
  9. Fabio Gadducci, Ugo Montanari
    Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:106-126 [Conf]
  10. Nachum Dershowitz
    Primitive Rewriting. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:127-147 [Conf]
  11. Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries
    Infinitary Rewriting: From Syntax to Semantics. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:148-172 [Conf]
  12. Hans Zantema
    Reducing Right-Hand Sides for Termination. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:173-197 [Conf]
  13. Yoshihito Toyama
    Reduction Strategies for Left-Linear Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:198-223 [Conf]
  14. Jean-Pierre Jouannaud
    Higher-Order Rewriting: Framework, Confluence and Termination. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:224-250 [Conf]
  15. Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers
    Timing the Untimed: Terminating Successfully While Being Conservative. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:251-279 [Conf]
  16. Detlef Plump
    Confluence of Graph Transformation Revisited. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:280-308 [Conf]
  17. Yuxin Deng, Catuscia Palamidessi, Jun Pang
    Compositional Reasoning for Probabilistic Finite-State Behaviors. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:309-337 [Conf]
  18. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    Finite Equational Bases in Process Algebra: Results and Open Questions. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:338-367 [Conf]
  19. Zena M. Ariola, Stefan Blom
    Skew and omega-Skew Confluence and Abstract Böhm Semantics. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:368-403 [Conf]
  20. Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
    A Mobility Calculus with Local and Dependent Types. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:404-444 [Conf]
  21. Jan A. Bergstra, C. A. Middelburg
    Model Theory for Process Algebra. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:445-495 [Conf]
  22. John J. Glauert, Delia Kesner, Zurab Khasidashvili
    Expression Reduction Systems and Extensions: An Overview. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:496-553 [Conf]
  23. Paul-André Melliès
    Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:554-638 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002