|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
28 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science |
RYDEHEARD, DAVID E. |
2002 |
3-5 |
p. 187-193 |
artikel |
||
| 2 | A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science |
RYDEHEARD, DAVID E. |
2002 |
3-5 |
p. 187-193 |
artikel |
||
| 3 | A New Approach to Abstract Syntax with Variable Binding |
Gabbay, Murdoch J. |
2002 |
3-5 |
p. 341-363 |
artikel |
||
| 4 | A New Approach to Abstract Syntax with Variable Binding |
Gabbay, Murdoch J. |
2002 |
3-5 |
p. 341-363 |
artikel |
||
| 5 | Architectural Specifications in CASL |
Bidoit, Michel |
2002 |
3-5 |
p. 252-273 |
artikel |
||
| 6 | Architectural Specifications in CASL |
Bidoit, Michel |
2002 |
3-5 |
p. 252-273 |
artikel |
||
| 7 | Dependently Typed Records in Type Theory |
Pollack, Robert |
2002 |
3-5 |
p. 386-402 |
artikel |
||
| 8 | Dependently Typed Records in Type Theory |
Pollack, Robert |
2002 |
3-5 |
p. 386-402 |
artikel |
||
| 9 | Institution Morphisms |
Goguen, Joseph |
2002 |
3-5 |
p. 274-307 |
artikel |
||
| 10 | Institution Morphisms |
Goguen, Joseph |
2002 |
3-5 |
p. 274-307 |
artikel |
||
| 11 | Ode to Rod Burstall |
Kerse, Eleanor |
2002 |
3-5 |
p. 194 |
artikel |
||
| 12 | POP, A Broad-Spectrum Programming Language, 1967–2002 |
Popplestone, Robin |
2002 |
3-5 |
p. 196-213 |
artikel |
||
| 13 | POP, A Broad-Spectrum Programming Language, 1967–2002 |
Popplestone, Robin |
2002 |
3-5 |
p. 196-213 |
artikel |
||
| 14 | Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor |
Whittle, Jon |
2002 |
3-5 |
p. 403-421 |
artikel |
||
| 15 | Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor |
Whittle, Jon |
2002 |
3-5 |
p. 403-421 |
artikel |
||
| 16 | Rod Burstall: A Personal Note |
Landin, Peter |
2002 |
3-5 |
p. 195 |
artikel |
||
| 17 | Shallow Linear Action Graphs and their Embeddings |
Leifer, James J. |
2002 |
3-5 |
p. 327-340 |
artikel |
||
| 18 | Shallow Linear Action Graphs and their Embeddings |
Leifer, James J. |
2002 |
3-5 |
p. 327-340 |
artikel |
||
| 19 | Should ML be Object-Oriented? |
MacQueen, David |
2002 |
3-5 |
p. 214-232 |
artikel |
||
| 20 | Should ML be Object-Oriented? |
MacQueen, David |
2002 |
3-5 |
p. 214-232 |
artikel |
||
| 21 | The Ancient Theory of Mind |
Barendregt, Henk |
2002 |
3-5 |
p. 422-429 |
artikel |
||
| 22 | The Ancient Theory of Mind |
Barendregt, Henk |
2002 |
3-5 |
p. 422-429 |
artikel |
||
| 23 | The List Introduction Strategy for the Derivation of Logic Programs |
Pettorossi, Alberto |
2002 |
3-5 |
p. 233-251 |
artikel |
||
| 24 | The List Introduction Strategy for the Derivation of Logic Programs |
Pettorossi, Alberto |
2002 |
3-5 |
p. 233-251 |
artikel |
||
| 25 | Three Inadequate Models |
Plotkin, Gordon |
2002 |
3-5 |
p. 364-385 |
artikel |
||
| 26 | Three Inadequate Models |
Plotkin, Gordon |
2002 |
3-5 |
p. 364-385 |
artikel |
||
| 27 | Variations on Algebra: Monadicity and Generalisations of Equational Therories |
Robinson, Edmund |
2002 |
3-5 |
p. 308-326 |
artikel |
||
| 28 | Variations on Algebra: Monadicity and Generalisations of Equational Therories |
Robinson, Edmund |
2002 |
3-5 |
p. 308-326 |
artikel |
28 gevonden resultaten