default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 935
Volume 935, October 2022
- Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang:
Synthesizing ranking functions for loop programs via SVM. 1-20 - Stefan Hetzl
, Jannik Vierling:
Unprovability results for clause set cycles. 21-46 - Thomas Kahl:
On symmetric higher-dimensional automata and bisimilarity. 47-60 - Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng:
An algebraic method to fidelity-based model checking over quantum Markov chains. 61-81 - David Venhoek, Joshua Moerman, Jurriaan Rot:
Fast computations on ordered nominal sets. 82-104 - Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux:
On the expressiveness of Lara: A proposal for unifying linear and relational algebra. 105-127 - Iosif Petrakis:
Closed subsets in Bishop topological groups. 128-143 - Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Query answering over inconsistent knowledge bases: A probabilistic approach. 144-173 - Paolo Baldan, Alessandra Raffaetà:
Minimisation of event structures. 174-199
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 2026-06-11 23:10 CEST 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:
