There is no complete axiom system for shuffle expressions

A. Szepietowski

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1999)

  • Volume: 33, Issue: 3, page 271-277
  • ISSN: 0988-3754

How to cite

top

Szepietowski, A.. "There is no complete axiom system for shuffle expressions." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 33.3 (1999): 271-277. <http://eudml.org/doc/92603>.

@article{Szepietowski1999,
author = {Szepietowski, A.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {shuffle expressions},
language = {eng},
number = {3},
pages = {271-277},
publisher = {EDP-Sciences},
title = {There is no complete axiom system for shuffle expressions},
url = {http://eudml.org/doc/92603},
volume = {33},
year = {1999},
}

TY - JOUR
AU - Szepietowski, A.
TI - There is no complete axiom system for shuffle expressions
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1999
PB - EDP-Sciences
VL - 33
IS - 3
SP - 271
EP - 277
LA - eng
KW - shuffle expressions
UR - http://eudml.org/doc/92603
ER -

References

top
  1. [1] S. L. Bloom and Z. Ésik, Axiomatizing shuffle and concatenation in languages. Inform. and Comput. 139 (1997) 62-91. Zbl0892.68055MR1482961
  2. [2] S. L. Bloom and Z. Ésik, Shuffle binoids. Theor. Informatics Appl. 32 (1998) 175-198. MR1672727
  3. [3] J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley (1979). Zbl0426.68001MR645539
  4. [4] K. Iwama, The universe problem for unrestricted flow languages. Acta Inform. 19 (1983) 85-96. Zbl0487.68065MR701879
  5. [5] T. Kimura, An algebraic systems for process structuring and interprocess communication, Proc. 8 Annual Symposium on Theory of Computing (1976) 92-100. Zbl0365.68066MR433948
  6. [6] D. Krob, Complete Systems of B-rational identities. Theoret. Comput. Sci. 89 (1991) 207-343. Zbl0737.68053MR1133622
  7. [7] A.R. Meyer and A. Rabinovich, A solution of an interleaving decision problem by a partial order techniques, Proc. Workshop on Partial-order Methods in Verification, July 1996, Princeton NJ, Ed. G. Holzmann, D. Peled, V. Pratt, AMS-DIMACS Series in Discrete Math. Zbl0879.68070
  8. [8] A. Salomaa, Theory of Automata, Pergamon Press, Oxford (1969). Zbl0193.32901MR262021

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.