Journal of Automated Reasoning 2006: Vol 36 Index

2006·0.26 MB·English

Journal of Automated Reasoning (2006) 36 © Springer 2007
Author Index to Volume 36
Agre, K. M., 241 Jacquemard, F., 85
Armando, A., |
Audemard, G., 177
Kremer, S., 39
Kuncak, V., 213
Barnes, J., 379
Basin, D., 1
Lierler, Y., 345
Beeson, M., 311
Lochner, B., 289
Bella, G., 5
Benhamou, B., 177
Maratea, M., 345
Bundy, A., 149
Massacci, F., 5
Chadha, R., 39
Chapman, R. 379 Nguyen, H. H., 213
Cook, A., 379
Paulson, L. C., 5
Cuellar, J., 1
Delaune, S., 85 Rinard, M., 213
Rusinowitch, M., 1
Ellis, B. J., 379
Scedrov, A., 39
Fiala, N. C., 241
Schulz, S., 287
Fischer, B., 287
Simpson, C., 259
Srba, J., 125
Giunchiglia, E., 345
Steel, G., 149
Henocque, L., 177 Sutcliffe, G., 287
Hiittel, H., 125
Ireland, A., 379 Vigano, L., |

Journal of Automated Reasoning (2006) 36 © Springer 2007
Subject Index to Volume 36
answer set programming, 345 Knuth—Bendix ordering, 289
automated deduction, 311
automated theorem-proving, 241 localization, 259
Boolean algebra, 213 mathematical induction, 311
multiparty contract signing, 39
calculus of fractions, 259
category, 259 Otter, 311
complexity, 213
computer proof verification, 259 Presburger arithmetic, 213
computer proofs, 311 probabilistic encryption, 85
constraint programming, 177 program proof, 379
counterexamples, 149 program transformation, 289
cryptographic protocols, 85, 125 program verification, 213
cryptographic security protocols, proof assistant, 259
149 proof planning, 379
propositional satisfiability, 345
decision procedure, 213
deductive verification, 5 quantifier elimination, 213
dictionary attacks, 85
recursion, 125
electronic commerce, 5 replication, 125
exponent, 241
second-order, 311
finite models, 177 security protocols, 5
formal methods, 85 single axiom, 241
formal modelling, 125 SPARK, 379
functor, 259 static analysis, 379
superposition, 149
GM protocol, 39 symmetry, 177
group, 241
unification, 311
inductive definitions, 5
Isabelle, 5 verification, 85