|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics |
Nalon, Cláudia |
2015 |
312 | C |
p. 125-141 17 p. |
artikel |
|
| 2 | A Dependent Type Theory with Abstractable Names |
Pitts, Andrew M. |
2015 |
312 | C |
p. 19-50 32 p. |
artikel |
|
| 3 | A Framework for Developing Stand-Alone Certifiers |
Sternagel, Christian |
2015 |
312 | C |
p. 51-67 17 p. |
artikel |
|
| 4 | A Framework for the Analysis of Access Control Policies with Emergency Management |
Alves, Sandra |
2015 |
312 | C |
p. 89-105 17 p. |
artikel |
|
| 5 | A Symbolic Model for Timed Concurrent Constraint Programming |
Arias, Jaime |
2015 |
312 | C |
p. 161-177 17 p. |
artikel |
|
| 6 | Enabling Synchronous and Asynchronous Communications in CSP for SOC |
Al-Humaimeedy, Abeer S. |
2015 |
312 | C |
p. 69-88 20 p. |
artikel |
|
| 7 | Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus |
Tasistro, Álvaro |
2015 |
312 | C |
p. 215-230 16 p. |
artikel |
|
| 8 | Network-Conscious π-calculus – A Model of Pastry |
Montanari, Ugo |
2015 |
312 | C |
p. 3-17 15 p. |
artikel |
|
| 9 | On Graph Calculi for Multi-modal Logics |
Veloso, Paulo A.S. |
2015 |
312 | C |
p. 231-252 22 p. |
artikel |
|
| 10 | Practical Extraction of Evidence Terms From Common-knowledge Reasoning |
Novak, Natalia |
2015 |
312 | C |
p. 143-160 18 p. |
artikel |
|
| 11 | Preface |
Ayala-Rincón, Mauricio |
2015 |
312 | C |
p. 1-2 2 p. |
artikel |
|
| 12 | Proving Concurrent Constraint Programming Correct, Revisited |
Olarte, Carlos |
2015 |
312 | C |
p. 179-195 17 p. |
artikel |
|
| 13 | Skalpel: A Type Error Slicer for Standard ML |
Rahli, Vincent |
2015 |
312 | C |
p. 197-213 17 p. |
artikel |
|
| 14 | Yet Another Bijection Between Sequent Calculus and Natural Deduction |
Englander, Cecilia |
2015 |
312 | C |
p. 107-124 18 p. |
artikel |
14 gevonden resultaten