8 search results - page 1 / 2 » birthday 1999 |
BIRTHDAY
1999
Springer
13 years 9 months ago
1999
Springer
CRYPTO
1999
Springer
13 years 9 months ago
1999
Springer
BIRTHDAY
1999
Springer
13 years 9 months ago
1999
Springer
We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more...
BIRTHDAY
1999
Springer
13 years 9 months ago
1999
Springer
This review paper will report on some recent discoveries in the area of Formal Languages, chie y by F. Otto, G. Buntrock and G. Niemann. These discoveries have pointed out certain ...
BIRTHDAY
1999
Springer
13 years 9 months ago
1999
Springer
We define simple-regular expressions and languages. Simple-regular languages provide a necessary condition for a language to be outfix-free. We design algorithms that compute si...