Last update: Sun Oct 15 02:16:54 MDT 2017
Follow this link for documentation about the automated preparation of this index.
Follow this link for indexes of other journals.
Words that appear more than 100 times have been excluded. Words that appear in more than 25% of the entries have been excluded, provided they appeared more than 100 times.
Filename: higherordersymbcomput.bib
Version: 2.15
Date: 14 October 2017
Time: 08:48:37 MDT
Checksum: 17333 5974 19947 272762 [CRC-16 words lines bytes]
This is a COMPLETE bibliography of the journal Higher-Order and Symbolic Computation (CODEN LSCOEX, ISSN 1388-3690 (print), 2212-0793 (electronic)), published by Kluwer Academic Publishers until about 2004, when it was acquired by Springer-Verlag.
Publication began with volume 11, number 1, in August 1998, as the continuation of the older journal Lisp and Symbolic Computation. The latter is covered in a separate companion bibliography, lispsymbcomput.bib. Publication appears to have ceased in 2013.
The Springer Web site for the later journal is at
http://link.springer.com/journal/10990 http://springerlink.com/link.asp?id=102420 http://springerlink.com/openurl.asp?genre=journal&issn=1388-3690 http://springerlink.com/openurl.asp?genre=journal&eissn=1573-0557
The two journals share an older World-Wide Web site at
http://www.wkap.nl/jrnltoc.htm/1388-3690
with tables of contents for volume 11 to date, and pointers to abstracts, keywords, and, for qualified subscribers only, full text of articles in PDF form. URL values in the entries below point to these documents.
At version 2.15, the year coverage looked like this:
1993 ( 1) 2000 ( 28) 2007 ( 21)
1994 ( 0) 2001 ( 14) 2008 ( 18)
1995 ( 0) 2002 ( 14) 2009 ( 21)
1996 ( 0) 2003 ( 15) 2010 ( 16)
1997 ( 0) 2004 ( 13) 2011 ( 13)
1998 ( 15) 2005 ( 16) 2012 ( 9)
1999 ( 19) 2006 ( 16) 2013 ( 4)
Article: 253
Total entries: 253
At version 2.00, BibTeX entries derived from data at the Springer Web site for all back issues were merged in, resulting in updates and corrections to many entries.
In addition, thanks to Springer-Verlag's sensible choice of predictable DOIs (Digital Object Identifiers) and article URLs, EVERY article in the journal is now directly reachable from its BibTeX entry. Of course, access to article full text normally requires a journal subscription that may or may not be available at your site.
The publishers' table-of-contents Web pages regrettably truncate author lists after the third author, but at least mark the omission with ``et al.''. For every such abbreviated list, the article Web pages have been visited to find the complete and correct author list, so no author in this journal should be unfairly ignored by this bibliography.
The initial draft of this bibliography was constructed from the journal Web site, and from the OCLC Contents1st database. There is no coverage of this journal in the MathSciNet database. The collection was then augmented with entries from the author's personal bibliography files, and a small number from the very large computer science bibliography collection at the University of Karlsruhe in http://liinwww.ira.uka.de/bibliography/ and ftp://ftp.ira.uka.de/pub/bibliography to which many people of have contributed.
The checksum field above contains a CRC-16 checksum as the first value, followed by the equivalent of the standard UNIX wc (word count) utility output of lines, words, and characters. This is produced by Robert Solovay's checksum utility.