Found 11 Documents (Results 1–11)
Equivalence checking of two functional programs using inductive theorem provers. (English) Zbl 1419.68038
MSC:
68N18
68T15
A hardness result and new algorithm for the longest common palindromic subsequence problem. (English) Zbl 1420.68246
Filter Results by …
all
top 5
Author
- Aldà, Francesco (1)
- de Amorim, Renato Cordeiro (1)
- Demba, Moussa (1)
- Gandhi, Rajiv B. (1)
- Grandi, Fabio (1)
- Hajiaghayi, Mohammad Taghi (1)
- Huang, Xing (1)
- Hyyrö, Heikki (1)
- Inenaga, Shunsuke (1)
- Korman, Matias (1)
- Kortsarz, Guy (1)
- Lam, Kam-Yiu (1)
- Lane, Peter C. R. (1)
- Panday, Deepak (1)
- Park, Kunsoo (1)
- Poon, Sheung-Hung (1)
- Purohit, Manish (1)
- Roeloffzen, Marcel (1)
- Sarpatwar, Kanthi K. (1)
- Seo, Jungjoo (1)
- Simon, Hans-Ulrich (1)
- Wang, Ping (1)
- Wang, Wei-Fan (1)
- Wang, Yiqiao (1)
- Zhu, Chun Jiang (1)