|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Algebra for Directed Bigraphs |
Grohmann, Davide |
2008 |
203 | 1 |
p. 49-63 15 p. |
artikel |
|
| 2 | Deduction Graphs with Universal Quantification |
Geuvers, Herman |
2008 |
203 | 1 |
p. 93-108 16 p. |
artikel |
|
| 3 | Hard combinators |
Béchet, Denis |
2008 |
203 | 1 |
p. 31-48 18 p. |
artikel |
|
| 4 | Intensional Properties of Polygraphs |
Bonfante, Guillaume |
2008 |
203 | 1 |
p. 65-77 13 p. |
artikel |
|
| 5 | Interaction Nets With Nested Pattern Matching |
Hassan, Abubakar |
2008 |
203 | 1 |
p. 79-92 14 p. |
artikel |
|
| 6 | Modeling and Verifying Graph Transformations in Proof Assistants |
Strecker, Martin |
2008 |
203 | 1 |
p. 135-148 14 p. |
artikel |
|
| 7 | Preface |
Mackie, Ian |
2008 |
203 | 1 |
p. 1-2 2 p. |
artikel |
|
| 8 | Rewritings for Polarized Multiplicative and Exponential Proof Structures |
Fouqueré, Christophe |
2008 |
203 | 1 |
p. 109-121 13 p. |
artikel |
|
| 9 | Sub-λ-calculi, Classified |
Sinot, François-Régis |
2008 |
203 | 1 |
p. 123-133 11 p. |
artikel |
|
| 10 | Term-graph Rewriting in Tom Using Relative Positions |
Balland, Emilie |
2008 |
203 | 1 |
p. 3-17 15 p. |
artikel |
|
| 11 | Universal Boolean Systems |
Béchet, Denis |
2008 |
203 | 1 |
p. 19-30 12 p. |
artikel |
11 gevonden resultaten