|
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 Formalisation of Nominal α-equivalence with A and AC Function Symbols |
Ayala-Rincón, Mauricio |
2017 |
332 | C |
p. 21-38 18 p. |
artikel |
|
| 2 | Controlling File Access with Types |
Alsowail, Rakan |
2017 |
332 | C |
p. 3-20 18 p. |
artikel |
|
| 3 | Formalized Meta-Theory of Sequent Calculi for Substructural Logics |
Chaudhuri, Kaustuv |
2017 |
332 | C |
p. 57-73 17 p. |
artikel |
|
| 4 | From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction |
Ciabattoni, Agata |
2017 |
332 | C |
p. 75-93 19 p. |
artikel |
|
| 5 | Generalized Probabilistic Satisfiability |
Caleiro, Carlos |
2017 |
332 | C |
p. 39-56 18 p. |
artikel |
|
| 6 | Hybrid and Subexponential Linear Logics |
Despeyroux, Joëlle |
2017 |
332 | C |
p. 95-111 17 p. |
artikel |
|
| 7 | Preface |
Nigam, Vivek |
2017 |
332 | C |
p. 1-2 2 p. |
artikel |
|
| 8 | Projections for Infinitary Rewriting |
Lombardi, Carlos |
2017 |
332 | C |
p. 131-148 18 p. |
artikel |
|
| 9 | The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results |
Farias, Márcia |
2017 |
332 | C |
p. 113-130 18 p. |
artikel |
|
| 10 | The Polarized λ-calculus |
Espírito Santo, José |
2017 |
332 | C |
p. 149-168 20 p. |
artikel |
10 gevonden resultaten