Skip to main content

Publisher: Elsevier

Volume 64, Number 3, 14 November 1997

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

Favourites:
ADD

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

Favourites:
ADD

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

Favourites:
ADD

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

Favourites:
ADD
Favourites:
ADD

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

Favourites:
ADD

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

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