|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formalisation of nominal α-equivalence with A, C, and AC function symbols |
Ayala-Rincón, Mauricio |
2019 |
781 | C |
p. 3-23 |
artikel |
|
| 2 | Editorial Board |
2019 |
781 | C |
p. ii |
artikel |
||
| 3 | Formalized meta-theory of sequent calculi for linear logics |
Chaudhuri, Kaustuv |
2019 |
781 | C |
p. 24-38 |
artikel |
|
| 4 | Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities |
Caleiro, Carlos |
2019 |
781 | C |
p. 39-62 |
artikel |
|
| 5 | Logical and Semantic Frameworks with Applications |
Nigam, Vivek |
2019 |
781 | C |
p. 1-2 |
artikel |
|
| 6 | Logical argumentation by dynamic proof systems |
Arieli, Ofer |
2019 |
781 | C |
p. 63-91 |
artikel |
|
| 7 | Projections for infinitary rewriting (extended version) |
Lombardi, Carlos |
2019 |
781 | C |
p. 92-110 |
artikel |
|
| 8 | Typed path polymorphism |
Ayala-Rincón, Mauricio |
2019 |
781 | C |
p. 111-130 |
artikel |
8 gevonden resultaten