|
П |
A Three-valued logic for software specification and validation |
1988 |
Konikowska B., Tarlecki A., Blikle A. |
|
|
PAS |
|
08.06.1995 |
|
М |
Automaty i gramatyki |
1971 |
Blikle A. |
|
|
|
Wstep do lingwistyki matematycznej |
16.05.1995 |
|
П |
Equations in nets Computer oriented lattices |
1973 |
Blikle A. |
|
|
PAS |
|
16.05.1995 |
|
П |
Three-valued predicates for software spesification and validation |
1988 |
Blikle A. |
|
|
PAS |
|
16.05.1995 |
|
СТ |
On conservative extensions of syntax in system development |
1991 |
Blikle A., Tarlecki A., Thorup M. |
|
|
|
Images of Programming: Dedicated to the Memory of A.P. Ershov |
07.02.1992 |
|
СТ |
On concervative extensions of syntax in system development |
1991 |
Thorup M., Blikle A., Tarlecki A. |
|
|
|
Theoretical Computer Science |
27.12.1991 |
