NTS grammars and church–rosser systems (English)
National licence
- New search for: Book, Ronald V.
- New search for: Book, Ronald V.
In:
Information Processing Letters
;
13
, 2
;
73-76
;
1981
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:NTS grammars and church–rosser systems
-
Contributors:Book, Ronald V. ( author )
-
Published in:Information Processing Letters ; 13, 2 ; 73-76
-
Publisher:
-
Publication date:1981-01-01
-
Size:4 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 13, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 45
-
The inclusion of DOL in multi-resetClerbout, Mireille / Latteux, Michel et al. | 1981
- 48
-
Using duality for the synthesis of an optimal algorithm involving matrix multiplicationMakarov, O.M. et al. | 1981
- 50
-
Real-time queue operations in pure LISPHood, Robert / Melville, Robert et al. | 1981
- 55
-
An adversary-based lower bound for sortingAtallah, Mikhail J. / Kosaráju, S.Rao et al. | 1981
- 58
-
The dynamic simulation of recursive and stack manipulating programsRytter, Wojciech et al. | 1981
- 64
-
On the average height of trees in digital search and dynamic hashingRegnier, Mireille et al. | 1981
- 67
-
Optimal choice of discriminators in a balanced k-d binary search treeSilva Filho, Ysmar V. et al. | 1981
- 71
-
The lower bounds on the additive complexity of bilinear problems in terms of some algebraic quantitiesPan, V.Ya. et al. | 1981
- 73
-
NTS grammars and church–rosser systemsBook, Ronald V. et al. | 1981
- 77
-
A shared-memory scheme for coalesced hashingVitter, Jeffrey Scott et al. | 1981
- 80
-
Some remarks on one-pebble rectangular array acceptorsNakamura, Akira et al. | 1980
- 85
-
A note on ‘is shortest path problem not harder than matrix multiplication?’Moran, Shlomo et al. | 1981
- 87
-
Author's reply to S. Moran's note on the shortest path problemRomani, Francesco et al. | 1981