![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 819
Volume 819, June 2020
- Dongjing Miao, Zhipeng Cai
, Xianmin Liu, Jianzhong Li:
Functional dependency restricted insertion propagation. 1-8 - Bireswar Das, Murali Krishna Enduri
, I. Vinod Reddy
:
Polynomial-time algorithm for isomorphism of graphs with clique-width at most three. 9-23 - Vincent Chau
, Xin Chen, Ken C. K. Fong, Minming Li
, Kai Wang
:
Flow shop for dual CPUs in dynamic voltage scaling. 24-34 - Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du:
Verify heaps via unified model checking. 35-49 - Xinfeng Shu, Zhenhua Duan
, Hongwei Du:
A decision procedure and complete axiomatization for projection temporal logic. 50-84
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.