|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation |
Montenegro, Manuel |
2009 |
246 | C |
p. 167-182 16 p. |
artikel |
|
| 2 | A Technique to Build Debugging Tools for Lazy Functional Logic Languages |
Braßel, Bernd |
2009 |
246 | C |
p. 39-53 15 p. |
artikel |
|
| 3 | A Tool for Generating a Symbolic Representation of tccp Executions |
Lescaylle, Alexei |
2009 |
246 | C |
p. 131-145 15 p. |
artikel |
|
| 4 | Extending Constructive Logic Negation with Types |
Munoz-Hernandez, Susana |
2009 |
246 | C |
p. 183-198 16 p. |
artikel |
|
| 5 | Formalizing Operational Semantic Specifications in Logic |
Miller, Dale |
2009 |
246 | C |
p. 147-165 19 p. |
artikel |
|
| 6 | LCF-style Platform based on Multiway Decision Graphs |
Abed, Sa'ed |
2009 |
246 | C |
p. 3-26 24 p. |
artikel |
|
| 7 | On Metric Temporal Łukasiewicz Logic |
Flaminio, Tommaso |
2009 |
246 | C |
p. 71-85 15 p. |
artikel |
|
| 8 | Order-Sorted Generalization |
Alpuente, María |
2009 |
246 | C |
p. 27-38 12 p. |
artikel |
|
| 9 | Preface |
Falaschi, Moreno |
2009 |
246 | C |
p. 1-2 2 p. |
artikel |
|
| 10 | State of the Practice in Algorithmic Debugging |
Cheda, Diego |
2009 |
246 | C |
p. 55-70 16 p. |
artikel |
|
| 11 | Term Sequent Logic |
Gabbay, Michael |
2009 |
246 | C |
p. 87-106 20 p. |
artikel |
|
| 12 | Transforming SAT into Termination of Rewriting |
Zankl, Harald |
2009 |
246 | C |
p. 199-214 16 p. |
artikel |
|
| 13 | Two-level Lambda-calculus |
Gabbay, Murdoch J. |
2009 |
246 | C |
p. 107-129 23 p. |
artikel |
13 gevonden resultaten