×

zbMATH — the first resource for mathematics

Higher-Order and Symbolic Computation

Short Title: High.-Order Symb. Comput.
Publisher: Springer, Norwell, MA
ISSN: 1388-3690; 1573-0557/e
Online: http://link.springer.com/journal/volumesAndIssues/10990
Comments: No longer indexed
Documents indexed: 209 Publications (1998–2013)
References indexed: 104 Publications with 3,671 References
all top 5

Authors

6 Lawall, Julia L.
5 Talcott, Carolyn L.
4 Danvy, Olivier
4 Landin, Peter J.
4 Thielecke, Hayo
3 Ariola, Zena M.
3 Consel, Charles
3 Dybvig, R. Kent
3 Harper, Robert
3 Khoo, Siau-Cheng
3 Kiselyov, Oleg
3 Kobayashi, Naoki
3 Meseguer Guaita, José
3 Sabry, Amr
3 Schmidt, David A.
3 Sussman, Gerald Jay
3 Vidal, Germán
3 Wand, Mitchell
2 Asai, Kenichi
2 Biagioni, Edoardo
2 Chroboczek, Juliusz
2 Cirstea, Horatiu
2 Douence, Rémi
2 Friedman, Daniel P.
2 Gallagher, John P.
2 Ghani, Neil
2 Hage, Jurriaan
2 Hamana, Makoto
2 Hammond, Kevin
2 Hatcliff, John
2 Herbelin, Hugo
2 Jagannathan, Suresh
2 Johann, Patricia
2 Kerneis, Gabriel
2 Kirchner, Claude
2 Lacey, David
2 Lee, Peter N.
2 Leroy, Xavier
2 Lillibridge, Mark
2 Loogen, Rita
2 Marlet, Renaud
2 Mason, Ian A.
2 Mastroeni, Isabella
2 Matsuda, Kazutaka
2 Michaelson, Greg
2 Moreau, Luc
2 Nilsson, Henrik
2 Pettorossi, Alberto
2 Proietti, Maurizio
2 Reynolds, John Charles
2 Shan, Chung-chieh
2 Skalka, Christian
2 Smith, Scott F.
2 Sørensen, Morten Heine B.
2 Spoto, Fausto
2 Steele, Guy Lewis jun.
2 Strachey, Christopher
2 Tennent, Robert D.
2 Thiemann, Peter J.
2 Van Wyk, Eric
2 Voigtlander, Janis
2 Wadsworth, Christopher P.
1 Abelson, Harold
1 Achten, Peter
1 Adams, N. I. IV
1 Aiken, Alexander
1 Alves, Sandra
1 Amtoft, Torben
1 Barker, Steve
1 Barthe, Gilles
1 Bartley, D. H.
1 Berdine, Josh
1 Bertolissi, Clara
1 Birkedal, Lars
1 Bischof, Christian H.
1 Blelloch, Guy E.
1 Boca, Paul P.
1 Boccardo, Davidson R.
1 Bornat, Richard
1 Boudol, Gérard
1 Brooks, Grace
1 Burstall, Rod M.
1 Capper, John
1 Cervesato, Iliano
1 Chadwick, Bryan
1 Chen, Kung
1 Chin, Wei-Ngan
1 Chirokoff, Sandrine
1 Christensen, Soren
1 Clark, Tony
1 Clerici, Silvia
1 Cline, Ken
1 Clinger, William D.
1 Coquand, Catarina
1 Crégut, Pierre
1 Dargaye, Zaynah
1 Davis, Martin David
1 de Moor, Oege
1 Debois, Søren
1 Degen, Markus
...and 237 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription