8 search results - page 1 / 2 » birthday 1999 |
BIRTHDAY
1999
Springer
13 years 10 months ago
1999
Springer
CRYPTO
1999
Springer
13 years 10 months ago
1999
Springer
BIRTHDAY
1999
Springer
13 years 10 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 10 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 10 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...