nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
|
de Moura, F.L.C. |
|
2011 |
269 |
C |
p. 41-54 14 p. |
artikel |
2 |
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains
|
del Vado VĂrseda, Rafael |
|
2011 |
269 |
C |
p. 55-69 15 p. |
artikel |
3 |
A Tool for Analysing Logics
|
Veloso, Sheila R.M. |
|
2011 |
269 |
C |
p. 125-137 13 p. |
artikel |
4 |
Bridges from Language to Logic: Concepts, Contexts and Ontologies
|
de Paiva, Valeria |
|
2011 |
269 |
C |
p. 83-94 12 p. |
artikel |
5 |
Preface
|
Haeusler, Edward Hermann |
|
2011 |
269 |
C |
p. 1-2 2 p. |
artikel |
6 |
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
|
Benevides, Mario R.F. |
|
2011 |
269 |
C |
p. 95-107 13 p. |
artikel |
7 |
Specifying Proof Systems in Linear Logic with Subexponentials
|
Nigam, Vivek |
|
2011 |
269 |
C |
p. 109-123 15 p. |
artikel |
8 |
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy
|
Freire, Cibele Matos |
|
2011 |
269 |
C |
p. 71-82 12 p. |
artikel |
9 |
The Functional Interpretation of Direct Computations
|
de Queiroz, Ruy J.G.B. |
|
2011 |
269 |
C |
p. 19-40 22 p. |
artikel |
10 |
The Mechanical Verification of a DPLL-Based Satisfiability Solver
|
Shankar, Natarajan |
|
2011 |
269 |
C |
p. 3-17 15 p. |
artikel |