International Conference on Rewriting Techniques and Applications, Pfenning, Frank
Springer
|
CAV (Conference), Berry, Gérard, 1948-, Comon, Hubert, Finkel, Alain
Springer
|
CAV (Conference), Damm, Werner, 1950-, Hermanns, Holger, 1967-
Springer
|
CAV (Conference), Dill, David L.
Springer-Verlag
|
Furbach, Ulrich, Shankar, N., IJCAR
Springer
|
FMCAD (Conference), Aagaard, Mark D., O'Leary, John W.
Springer
|
CAV (Conference), Alur, Rajeev, 1966-, Henzinger, T. A. (Thomas A.)
Springer-Verlag
|
ISAAC (Conference), 浅野, 哲夫(1949-)
Springer
|
CAV (Conference), Gupta, Aarti, Malik, Sharad
Springer
|
CAV (Conference), Wolper, Pierre
Springer-Verlag
|
CAV (Conference), Emerson, E. Allen, Sistla, A. Prasad
Springer
|
International Computing and Combinatorics Conference, Chwa, Kyung-Yong, Munro, J. Ian
Springer
|