|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Commands: |
Dunne, Steve |
2001 |
42 | C |
p. 104-123 20 p. |
artikel |
|
| 2 | Almost-Certain Eventualities and Abstract Probabilities in Quantitative Temporal Logic |
McIver, Annabelle |
2001 |
42 | C |
p. 12-40 29 p. |
artikel |
|
| 3 | A Model of Finite Automata on Timed ω-Trees |
La Torre, Salvatore |
2001 |
42 | C |
p. 158-173 16 p. |
artikel |
|
| 4 | Analysis of Scheduling Behaviour using Generic Timed Automata |
Gerdsmeier, Thorsten |
2001 |
42 | C |
p. 143-157 15 p. |
artikel |
|
| 5 | Axiomatisation of an Interval Calculus for Theorem Proving |
Cerone, Antonio |
2001 |
42 | C |
p. 67-88 22 p. |
artikel |
|
| 6 | Computability and Decidability Issues in the Theory of Consistency Enforcement |
Link, Sebastian |
2001 |
42 | C |
p. 174-196 23 p. |
artikel |
|
| 7 | Embedding Display Calculi into Logical Frameworks: |
Dawson, Jeremy E. |
2001 |
42 | C |
p. 89-103 15 p. |
artikel |
|
| 8 | Improved Shortest Path Algorithms for Nearly Acyclic Graphs |
Saunders, Shane |
2001 |
42 | C |
p. 232-248 17 p. |
artikel |
|
| 9 | Lifting in Z |
Martin, Andrew |
2001 |
42 | C |
p. 197-219 23 p. |
artikel |
|
| 10 | Meta-Modelling for Formal Software Development |
Sreenivas, A. |
2001 |
42 | C |
p. 1-11 11 p. |
artikel |
|
| 11 | On Elementary Computability-Theoretic Properties of Algorithmic Randomness |
Arslanov, Asat |
2001 |
42 | C |
p. 41-51 11 p. |
artikel |
|
| 12 | Operational Techniques in PVS — A Preliminary Evaluation |
Ford, Jonathan M. |
2001 |
42 | C |
p. 124-142 19 p. |
artikel |
|
| 13 | Parallel Reduction in Type Free λμ-Calculus |
Baba, Kensuke |
2001 |
42 | C |
p. 52-66 15 p. |
artikel |
|
| 14 | Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs |
Schachte, Peter |
2001 |
42 | C |
p. 249-265 17 p. |
artikel |
|
| 15 | Preface |
Fidge, Colin |
2001 |
42 | C |
p. 282-283 2 p. |
artikel |
|
| 16 | Representation of a Discretely Controlled Continuous System in Tense Arithmetic |
Mizutani, Tetsuya |
2001 |
42 | C |
p. 220-231 12 p. |
artikel |
|
| 17 | Using Theory Interpretation to Mechanise the Reals in a Theorem Prover |
Shield, Jamie |
2001 |
42 | C |
p. 266-281 16 p. |
artikel |
17 gevonden resultaten