default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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
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.
last updated on 2025-03-01 15:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
