Volume 169, March 2007
Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006)
- 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
Last update Fri May 24 20:18:20 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
