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 Einstein
ralph@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