![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Information and Computation, Volume 275
Volume 275, December 2020
- Slawomir Lasota, Radoslaw Piórkowski:
WQO dichotomy for 3-graphs. 104541 - Bosheng Song, Kenli Li, David Orellana-Martín, Luis Valencia-Cabrera
, Mario J. Pérez-Jiménez:
Cell-like P systems with evolutional symport/antiport rules and membrane creation. 104542 - Peng Zhang, Linqing Tang:
Minimum Label s-t Cut has large integrality gaps. 104543 - Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer:
Arrow update synthesis. 104544 - Christian Rosenke, Maciej Liskiewicz:
The generic combinatorial algorithm for image matching with classes of projective transformations. 104550 - Haitao Jiang, Hong Liu, Cédric Chauve, Binhai Zhu:
Breakpoint distance and PQ-trees. 104584 - Chiara Bodei, Linda Brodo, Roberto Bruni:
The link-calculus for open multiparty interactions. 104587 - Salvatore La Torre, Margherita Napoli, Gennaro Parlato:
Reachability of scope-bounded multistack pushdown systems. 104588 - Jin-Yi Cai, Zhiguo Fu, Shuai Shao
:
Beyond #CSP: A dichotomy for counting weighted Eulerian orientations with ARS. 104589 - Nikolay Bazhenov, Ekaterina B. Fokina, Luca San Mauro
:
Learning families of algebraic structures from informant. 104590 - George Barmpalias
, Nan Fang:
Granularity of wagers in games and the possibility of saving. 104600 - Neil Lutz, Donald M. Stull:
Bounding the dimension of points on a line. 104601 - Benjamin Fuller
, Xianrui Meng, Leonid Reyzin:
Computational fuzzy extractors. 104602 - Roberto Gorrieri
:
Team equivalences for finite-state machines with silent moves. 104603 - Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord:
Perfect failure detection with very few bits. 104604 - Daowen Qiu
, Shenggen Zheng
:
Revisiting Deutsch-Jozsa algorithm. 104605
- Chun Tian
, Davide Sangiorgi:
Unique solutions of contractions, CCS, and their HOL formalisation. 104606
- Tara Brough
, Alan J. Cain
:
A language hierarchy of binary relations. 104607
- Kirstin Peters, Uwe Nestmann:
Distributability of mobile ambients. 104608
- Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti:
Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results. 104609 - Anna Becchi
, Enea Zaffanella
:
PPLite: Zero-overhead encoding of NNC polyhedra. 104620 - Cassio P. de Campos, Georgios Stamoulis, Dennis Weyland:
A structured view on weighted counting with relations to counting, quantum computation and applications. 104627 - Renu Mary Daniel, Elijah Blessing Rajsingh
, Salaja Silas:
An efficient eCK secure identity based Two Party Authenticated Key Agreement scheme with security against active adversaries. 104630 - Michal Kunc, Alexander Okhotin:
Reversibility of computations in graph-walking automata. 104631 - Sebastian Berndt, Maciej Liskiewicz:
On the universal steganography of optimal rate. 104632 - Amihood Amir, Avivit Levy, Ely Porat, B. Riva Shalom:
Online recognition of dictionary with one gap. 104633 - Ming Xu, Yuxin Deng
:
Time-bounded termination analysis for probabilistic programs with delays. 104634
- Doriana Medic
, Claudio Antares Mezzina
, Iain Phillips, Nobuko Yoshida
:
A parametric framework for reversible π-calculi. 104644
- James Laird:
Weighted models for higher-order computation. 104645 - Samuel Epstein:
An extended coding theorem with application to quantum complexities. 104660
![](https://dblp1.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.