wack@cis.udel.edu (Andrew Wack) (05/29/91)
I have many references that come to me in the following form:
AN EI 9012-138793.
AU Du-Weichang. Wadge-William-W.
IN Univ of Victoria, Victoria, BC, Can.
TI 3D spreadsheet based on intensional logic.
SO IEEE Software v 7 n 3 May 1990 p 78-89.
MJ COMPUTER-PROGRAMMING.
MN Spreadsheet.
ID 3D-SPREADSHEET. INTENSIONAL-LOGIC. IMPLICIT-CONTEXT.
INTENSIONAL-SEMANTICS. SYSTOLIC-ALGORITHM. SPATIAL-PROGRAMMING.
XR NATURAL-LANGUAGE-PROCESSING-SYSTEMS.
IS 0740-7459.
CC A723.
CD IESOEG.
TR A (Applications). T (Theoretical).
PT JA (Journal Article).
AB A three-dimensional spreadsheet design based on intensional logic is
proposed. Intensional logic is concerned with assertions and other
expressions whose meaning depends on an implicit context. The
intensional spreadsheet is a declarative spreadsheet with a simple
formal semantics called intensional semantics. It is expected to be
suitable for a wide range of applications and for various users,
including those who have had conventional programming experience. As
an example of using the intensional 3-D spreadsheet, the
formalization of a systolic algorithm for matrix multiplication is
considered. 2 Refs.
Does anybody know of a program to convert these to bibtex format?
Thanks for any and all help.
--
-------------------------------------------------------------------------------
Andrew Wack Gravitation cannot be held responsible
Internet : wack@udel.edu for people falling in love -- Albert Einsteinralph@laas.fr (Ralph P. Sobek) (05/29/91)
This looks similar to the INSPEC data-base format. The major difference that I see is that INSPEC does not use 2 letter abbreviations. I have some GNU emacs lisp code that converts INSPEC to BibTeX format. -- Ralph P. Sobek Disclaimer: The above ruminations are my own. ralph@laas.fr Addresses are ordered by importance. ralph@laas.uucp, or ...!uunet!laas!ralph If all else fails, try: sobek@eclair.Berkeley.EDU =============================================================================== THINK: Due to IMF & World Bank policies 100 million Latin American children are living, eating, and sleeping in the streets -- Le Monde Diplomatique