| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Behavioural Model for Klop's Calculus
|
Dezani-Ciancaglini, Mariangiola
|
|
2007
|
169 |
C |
p. 19-32
14 p.
|
artikel
|
| 2 |
About a Positive Set Theory With Equality
|
Lenzi, Giacomo
|
|
2007
|
169 |
C |
p. 111-120
10 p.
|
artikel
|
| 3 |
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic
|
Goto, Yuichi
|
|
2007
|
169 |
C |
p. 87-97
11 p.
|
artikel
|
| 4 |
Impossibility Results in the Equational Logic of Processes
|
Aceto, Luca
|
|
2007
|
169 |
C |
p. 3-6
4 p.
|
artikel
|
| 5 |
Mixed Rational Assessments of Possibility and Probability Measures
|
Flaminio, Tommaso
|
|
2007
|
169 |
C |
p. 33-42
10 p.
|
artikel
|
| 6 |
Modal Logic Characterization of Markovian Testing and Trace Equivalences
|
Bernardo, Marco
|
|
2007
|
169 |
C |
p. 7-18
12 p.
|
artikel
|
| 7 |
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
|
De Nicola, Rocco
|
|
2007
|
169 |
C |
p. 133-146
14 p.
|
artikel
|
| 8 |
Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference
|
Gentilini, Paolo
|
|
2007
|
169 |
C |
p. 73-86
14 p.
|
artikel
|
| 9 |
Preface
|
Corradini, Flavio
|
|
2007
|
169 |
C |
p. 1-2
2 p.
|
artikel
|
| 10 |
Qualitative Uncertainty Orderings Revised
|
Capotorti, Andrea
|
|
2007
|
169 |
C |
p. 43-59
17 p.
|
artikel
|
| 11 |
Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction
|
Gao, Ying
|
|
2007
|
169 |
C |
p. 61-71
11 p.
|
artikel
|
| 12 |
The Quantum Separability Problem for Gaussian States
|
Mancini, Stefano
|
|
2007
|
169 |
C |
p. 121-131
11 p.
|
artikel
|
| 13 |
The Traveling Salesman Problem in Circulant Weighted Graphs With Two Stripes
|
Greco, Federico
|
|
2007
|
169 |
C |
p. 99-109
11 p.
|
artikel
|
Tijdschrift beschrijving