Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 49, Number 5, 2012

Prefix-primitive annihilators of languages under some operations
pp. 281-293(13)
Authors: Fan, C. M.; Huang, C. C.; Tseng, C. C.; Wang, J. T.

Favourites:
ADD

An algorithmic study of switch graphs
pp. 295-312(18)
Authors: Katz, B.; Rutter, I.; Woeginger, G.

Favourites:
ADD

Abstract reduction in directed model checking CCS processes
pp. 313-341(29)
Authors: Santone, A.; Vaglini, G.

Favourites:
ADD

Algebras for iteration and infinite computations
pp. 343-359(17)
Author: Guttmann, W.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect 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