Journal of Automated Reasoning 2006: Vol 37 Index

2006·0.22 MB·English

Journal of Automated Reasoning (2006) 37 © Springer 2007
Author Index to Volume 37
Alonso, J.-A., 67 Manolios, P., 93
Marquis, P., 231
Bailleux, O., 231 Martin-Mateos, F.-J., 67
Nakamura, M., 205
Dequen, G., 261
Dubois, O., 261 Pell, O., 117
Falke, S., 155 Ruiz-Reina, J.-L., 67
Feichtinger, D., 45
Fischer, B., | Salzer, G., 323
Schneider-Kamp, P., 155
Schulz, S., 1
Giesl, J., 153, 155
Sinz, C., 45
Givant, S., 277
Spinks, M., 3
Gortler, G., 45
Srinivasan, S. K., 93
Sutcliffe, G., 1
Hidalgo, M.-J., 67
Thiemann, R., 155
Kapur, D., 153 Toyama, Y., 205
Kiichlin, W., 45
Kusakari, K., 205 Urban, J., 21
Limet, S., 323 Veroff, R., 3

Journal of Automated Reasoning (2006) 37 © Springer 2007
Subject Index to Volume 37
(AC-)dependency pair, 205 mathematical foundation, 277
(AC-)termination, 205 Mizar, 21
ACL2, 67, 93 MML, 21
algebraic logic, 277 MPA, 21
argument filtering, 205 MPTP, 21
ATP, 21
authomated reasoning, 277 pipelined machines, 93
automated deduction, 3 problem encoding, 45
automated reasoning, 93 proof discovery, 21
axiomatization, 3 proof sketches, 3
BDD-techniques, 45 real-world applications, 45
bit-level, 93 refinement, 93
re-proving, 21
calculus of relations, 277
circuit verification, 117 SAT, 45
computational complexity, 231 satisfiability, 231, 261
set theory, 277
dependency pairs, 155 skew Boolean propositional
calculus (SBPC), 3
elimination transformation, 205 solving, 261
FPGA, 117 termination, 155
term rewriting, 155
heuristic, 261 theorem proving, 117
tree tuples, 323
inductive definitions, 323
unification algorithm, 67
layout description, 117
logic programming, 323 verification, 67, 93