default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLMCS 2006: Camerino, Italy
- Flavio Corradini, Carlo Toffalori:
Proceedings of the Workshop on Logic, Models and Computer Science, LMCS 2006, Camerino, Italy, April 20-22, 2006. Electronic Notes in Theoretical Computer Science 169, Elsevier 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-30 00:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
