| |
| 2007 | ||
|---|---|---|
| 3 | EE | Marian Srebrny, Ste Pien: A Propositional Programming Environment for Linear Algebra. Fundam. Inform. 81(1-3): 325-345 (2007) |
| 2006 | ||
| 2 | EE | Miroslaw Kurkowski, Marian Srebrny: A Quantifier-free First-order Knowledge Logic of Authentication. Fundam. Inform. 72(1-3): 263-282 (2006) |
| 2000 | ||
| 1 | EE | Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki: First-Order Specifications of Programmable Data Types. SIAM J. Comput. 30(6): 2084-2096 (2000) |
| 1 | Miroslaw Kurkowski | [2] |
| 2 | Grazyna Mirkowska | [1] |
| 3 | Ste Pien | [3] |
| 4 | Andrzej Salwicki | [1] |
| 5 | Andrzej Tarlecki | [1] |