|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory |
Copello, Ernesto |
2016 |
323 | C |
p. 109-124 16 p. |
artikel |
|
| 2 | Canonical HybridLF: Extending Hybrid with Dependent Types |
Crole, Roy L. |
2016 |
323 | C |
p. 125-142 18 p. |
artikel |
|
| 3 | Checking Overlaps of Nominal Rewriting Rules |
Ayala-Rincón, Mauricio |
2016 |
323 | C |
p. 39-56 18 p. |
artikel |
|
| 4 | Classical Resolution for Many-Valued Logics |
Marcos, João |
2016 |
323 | C |
p. 253-270 18 p. |
artikel |
|
| 5 | Completeness in PVS of a Nominal Unification Algorithm |
Ayala-Rincón, Mauricio |
2016 |
323 | C |
p. 57-74 18 p. |
artikel |
|
| 6 | Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations |
Arieli, Ofer |
2016 |
323 | C |
p. 21-37 17 p. |
artikel |
|
| 7 | Fibrational Modal Type Theory |
de Paiva, Valeria |
2016 |
323 | C |
p. 143-161 19 p. |
artikel |
|
| 8 | Multi-focused Proofs with Different Polarity Assignments |
Pimentel, Elaine |
2016 |
323 | C |
p. 163-179 17 p. |
artikel |
|
| 9 | Normalization of N-Graphs via Sub-N-Graphs |
Andrade, Laís |
2016 |
323 | C |
p. 3-19 17 p. |
artikel |
|
| 10 | On Graphs for Intuitionistic Modal Logics |
Veloso, Paulo A.S. |
2016 |
323 | C |
p. 215-233 19 p. |
artikel |
|
| 11 | On Strong Normalization in Proof-Graphs for Propositional Logic |
Quispe-Cruz, Marcela |
2016 |
323 | C |
p. 181-196 16 p. |
artikel |
|
| 12 | Preface |
Benevides, Mario |
2016 |
323 | C |
p. 1-2 2 p. |
artikel |
|
| 13 | Proof Certificates for Equality Reasoning |
Chihani, Zakaria |
2016 |
323 | C |
p. 93-108 16 p. |
artikel |
|
| 14 | Proving Correctness of a Compiler Using Step-indexed Logical Relations |
Rodríguez, Leonardo |
2016 |
323 | C |
p. 197-214 18 p. |
artikel |
|
| 15 | Strong Normalization through Intersection Types and Memory |
Bucciarelli, Antonio |
2016 |
323 | C |
p. 75-91 17 p. |
artikel |
|
| 16 | Type Soundness for Path Polymorphism |
Viso, Andrés |
2016 |
323 | C |
p. 235-251 17 p. |
artikel |
16 gevonden resultaten