|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| 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 |
10 gevonden resultaten