Skip to main content

Publisher: Elsevier

Volume 67, Number 1, 16 July 1998

Strongly sequential and inductively sequential term rewriting systems
pp. 1-8(8)
Authors: Dutta, P.; Dutta, S.; Hanus, M.; Lucas, S.; Middeldorp, A.

Favourites:
ADD

Uniform multipaging reduces to paging
pp. 9-12(4)
Authors: Keil, R.G.; Tsamakis, E.; Giddings, J.C.; Hedges, J.I.; Slaouti, A.; Takhar, H.S.; Nath, G.; Liberatore, V.

Favourites:
ADD

Successful visual human-computer interaction is undecidable
pp. 13-19(7)
Authors: Brantley, S.L.; Chesley, J.T.; Stillings, L.L.; Bouafia, M.; Bertin, Y.; Saulnier, J.B.; Ropert, P.; Bottoni, P.; Levialdi, S.; Paun, G.

Favourites:
ADD

A data-parallel algorithm for minimum-width tree layout
pp. 21-28(8)
Authors: Pokrovski, G.S.; Schott, J.; Xu, W.; Chen, Q.; Nieuwstadt, F.T.M.; Wuu, Y.

Favourites:
ADD

A variation on the zero-one law
pp. 29-30(2)
Authors: Abbott, G.D.; Ewbank, G.; Edwards, D.; Wang, G.; Shuja, S.Z.; Yilbas, B.S.; Blass, A.; Gurevich, Y.; Kreinovich, V.; Longpre, L.

Favourites:
ADD

The homogeneous set sandwich problem
pp. 31-35(5)
Authors: Schouten, S.; Klein Breteler, W.C.M.; Blokker, P.; Schogt, N.; Rijpstra, W.I.C.; Grice, K.; Baas, M.; Sinninghe Damste, J.S.; Chen, Y.; Fiebig, M.; Mitra, N.K.; Cerioli, M.R.; Everett, H.; de Figueiredo, C.M.H.; Klein, S.

Favourites:
ADD

Lower bounds for monotone real circuit depth and formula size and tree-like Cutting Planes
pp. 37-41(5)
Authors: Berthod, A.; Wang, X.; Gahm, K.H.; Armstrong, D.W.; Petrakis, M.A.; Johannsen, J.

Favourites:
ADD

Extending reduction orderings to ACU-compatible reduction orderings
pp. 43-49(7)
Authors: Bebie, J.; Seward, T.M.; Hovey, J.K.; Waldmann, U.

Favourites:
ADD

Finding the detour-critical edge of a shortest path between two nodes
pp. 51-54(4)
Authors: Bogard, D.D.; Garrison, D.H.; Lange, C.F.; Durst, F.; Breuer, M.; Nardelli, E.; Proietti, G.; Widmayer, P.

Favourites:
ADD

Revisiting global constraint satisfaction
pp. 55-55(1)
Authors: Xu, Z.; Stebbins, J.F.; Leong, W.H.; Hollands, K.G.T.; Brunger, A.P.; Hower, W.

Favourites:
ADD

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more