Electronic Notes in Theoretical Computer Science, Volume 169

Volume 169, March 2007

• Flavio Corradini, Carlo Toffalori:
  Preface. 1-2
  
• Luca Aceto:
  Impossibility Results in the Equational Logic of Processes. 3-6
  
• Marco Bernardo, Stefania Botta:
  Modal Logic Characterization of Markovian Testing and Trace Equivalences. 7-18
  
• Mariangiola Dezani-Ciancaglini, Makoto Tatsuta:
  A Behavioural Model for Klop's Calculus. 19-32
  
• Tommaso Flaminio, Enrico Marchioni:
  Mixed Rational Assessments of Possibility and Probability Measures. 33-42
  
• Andrea Capotorti, Andrea Formisano, Gianfranco Murador:
  Qualitative Uncertainty Orderings Revised. 43-59
  
• Ying Gao, Jingde Cheng:
  Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. 61-71
  
• Paolo Gentilini:
  Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference. 73-86
  
• Yuichi Goto, Jingde Cheng:
  A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. 87-97
  
• Federico Greco, Ivan Gerace:
  The Traveling Salesman Problem in Circulant Weighted Graphs With Two Stripes. 99-109
  
• Giacomo Lenzi:
  About a Positive Set Theory With Equality. 111-120
  
• Stefano Mancini, Simone Severini:
  The Quantum Separability Problem for Gaussian States. 121-131
  
• Rocco De Nicola, Michele Loreti:
  Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. 133-146