|
СТ |
Adding For-Loops to First-Order Logic. Extended Abstract |
1998 |
Neven F., Otto M., Tyszkiewicz J., Van Den Bussche J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.01.1999 |
|
СТ |
Fine Hierarchies of Generic Computation |
1997 |
Tyszkiewicz J. |
|
|
|
Lecture Notes in Computer Science |
10.01.1997 |
|
СТ |
On the Kolmogorov Expressive Power of Boolean Query Languages |
1995 |
Tyszkiewicz J. |
|
|
|
Lecture Notes in Computer Science |
15.02.1995 |
|
СТ |
On Asymptotic Probabilities of Monadic Second Order Properties |
1993 |
Tyszkiewicz J. |
|
|
|
Lecture Notes in Computer Science |
06.11.1993 |
|
СТ |
On Asymptotic Probabilities in Logics That Capture DSPACE (log n) in Presence of Ordering |
1993 |
Tyszkiewicz J. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
