|
|
Nyíregyházi Egyetem Tudományos Elektronikus Adattár >
Böngészés szerint Szerző Vályi, Sándor
Dokumentumok listája: 1 - 13 Összesen: 13
| Megjelenés Dátuma | Cím | Szerző(k) | | 7-jún-2012 | Algorithmic aspects of some protocol verification logics | Vályi, Sándor; Ködmön, József; Takács, Pélter |
| 14-jún-2012 | A Gentzen-style extension of natural deduction -- adjusted for undergraduate informatics studies | Vályi, Sándor; Mecsei, Zoltán |
| 14-jún-2012 | Interval-valued computations and their connection to PSPACE | Vályi, Sándor; Nagy, Benedek |
| 14-jún-2012 | Interval-valued computations without the product operator | Vályi, Sándor; Nagy, Benedek |
| 7-jún-2012 | Interval-valued computing as a visual reasoning system | Vályi, Sándor; Nagy, Benedek |
| 15-jún-2012 | Investigations into non-classical logic | Vályi, Sándor |
| 5-jún-2012 | Polynomial solution to Discrete Logarithm Problem in Interval-valued computing | Vályi, Sándor; Nagy, Benedek |
| 15-jún-2012 | Prime factorization by interval-valued computing | Vályi, Sándor; Nagy, Benedek |
| 5-jún-2012 | Prime factorization by interval-valued computing | Vályi, Sándor; Nagy, Benedek |
| 14-jún-2012 | Solving a PSPACE-problem by a linear interval-valued computation | Vályi, Sándor; Nagy, Benedek |
| 14-jún-2012 | TÖBBCSATORNÁS KRIPTOGRÁFIAI PROTOKOLLOK GYAKORLATI VIZSGÁLATA | Vályi, Sándor; Takács, Péter |
| 14-jún-2012 | Többcsatornás kriptográfiai protokollok vizsgálata a bővített CSN-logika eszközeivel | Vályi, Sándor; Takács, Péter |
| 14-jún-2012 | Visual reasoning by generalized interval-values and interval temporal logic | Vályi, Sándor; Nagy, Benedek |
Dokumentumok listája: 1 - 13 Összesen: 13
|
