Result 1 to 5 from 5 total
Prime factorization by interval-valued computing. (English)
Publ. Math. 79, No. 3-4, 539-551 (2011).
1
Interval-valued computations without the product operator. (English)
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28‒31, 2007, Eger, Hungary. Vol. I. Eger: Eszterházy Károly College. 81-88 (2009).
2
An extension of protocol verification modal logic to multi-channel protocols. (English)
Tatra Mt. Math. Publ. 41, 153-166 (2008).
3
Interval-valued computations and their connection with PSPACE. (English)
Theor. Comput. Sci. 394, No. 3, 208-222 (2008).
4
Visual reasoning by generalized interval-values and interval temporal logic (English)
VLL, 13-26 (2007).
5
Result 1 to 5 from 5 total
Start
Contact
Print
General Help
