Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!wuarchive!udel!cis.udel.edu From: wack@cis.udel.edu (Andrew Wack) Newsgroups: comp.text.tex Subject: Unknown bib format to bibtex Message-ID: <54849@nigel.ee.udel.edu> Date: 28 May 91 17:17:24 GMT Sender: usenet@ee.udel.edu Organization: University of Delaware Lines: 38 Nntp-Posting-Host: mercury.cis.udel.edu 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