Publisher: Elsevier

Related content
Volume 64, Number 3, 14 November 1997

< previous issue | all issues | next issue >

Favourites:Add to Favourites

Formal justification of underspecification for S5
pp. 115-121(7)
Authors: Aaron, E.; Gries, D.

Favourites:Add to Favourites

Noncommutative minimization algorithms
pp. 123-126(4)
Authors: Flouret, M.; Laugerotte, E.

Favourites:Add to Favourites

A characterization of finitary bisimulation
pp. 127-134(8)
Authors: Aceto, L.; Ingolfsdottir, A.

Favourites:Add to Favourites

On improving dependency implication algorithms
pp. 135-141(7)
Authors: Wai, Y.M.; Embley, D.W.

Favourites:Add to Favourites
Favourites:Add to Favourites

Computing a poset from its realizer
pp. 149-154(6)
Authors: Nardelli, E.; Mastrobuoni, V.; Santomo, A.

Favourites:Add to Favourites

Revisiting the COUNTER algorithms for list update
pp. 155-160(6)
Authors: Albers, S.; Mitzenmacher, M.

Share Content

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
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