Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 31 matches
- 2018
- Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez:
Parallel Cost Analysis. ACM Trans. Comput. Log. 19(4): 31:1-31:37 (2018) - Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan:
Automated Equivalence Checking of Concurrent Quantum Systems. ACM Trans. Comput. Log. 19(4): 28:1-28:32 (2018) - Steffen van Bakel:
Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types. ACM Trans. Comput. Log. 19(1): 3:1-3:47 (2018) - Benno van den Berg:
Path Categories and Propositional Identity Types. ACM Trans. Comput. Log. 19(2): 15:1-15:32 (2018) - Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla:
Are Short Proofs Narrow? QBF Resolution Is Not So Simple. ACM Trans. Comput. Log. 19(1): 1:1-1:26 (2018) - Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang, Bela Stantic:
Syntax-Preserving Belief Change Operators for Logic Programs. ACM Trans. Comput. Log. 19(2): 12:1-12:42 (2018) - Agata Ciabattoni, Francesco A. Genco:
Hypersequents and Systems of Rules: Embeddings and Applications. ACM Trans. Comput. Log. 19(2): 11:1-11:27 (2018) - Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. ACM Trans. Comput. Log. 19(3): 19:1-19:52 (2018) - Catalin Dima, Bastien Maubert, Sophie Pinchinat:
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. ACM Trans. Comput. Log. 19(3): 23:1-23:33 (2018) - Elliot Fairweather, Maribel Fernández:
Typed Nominal Rewriting. ACM Trans. Comput. Log. 19(1): 6:1-6:46 (2018) - Daniel Gall, Thom W. Frühwirth:
An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules. ACM Trans. Comput. Log. 19(3): 22:1-22:42 (2018) - Michal Garlík, Leszek Aleksander Kolodziejczyk:
Some Subsystems of Constant-Depth Frege with Parity. ACM Trans. Comput. Log. 19(4): 29:1-29:34 (2018) - Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Game-Theoretic Semantics for Alternating-Time Temporal Logic. ACM Trans. Comput. Log. 19(3): 17:1-17:38 (2018) - Dusan Guller:
Automated Deduction in Gödel Logic. ACM Trans. Comput. Log. 19(3): 18:1-18:28 (2018) - Masahiro Hamano:
Geometry of Interaction for MALL via Hughes-Van Glabbeek Proof-Nets. ACM Trans. Comput. Log. 19(4): 25:1-25:38 (2018) - Miika Hannula:
Hierarchies in Inclusion Logic with Lax Semantics. ACM Trans. Comput. Log. 19(3): 16:1-16:23 (2018) - Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer:
Complexity of Propositional Logics in Team Semantic. ACM Trans. Comput. Log. 19(1): 2:1-2:14 (2018) - Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. 19(2): 13:1-13:35 (2018) - Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic. ACM Trans. Comput. Log. 19(4): 26:1-26:45 (2018) - Md. Aquil Khan, Vineeta Singh Patel:
A Simple Modal Logic for Reasoning in Multigranulation Rough Set Model. ACM Trans. Comput. Log. 19(4): 30:1-30:23 (2018) - Emanuel Kieronski, Lidia Tendera:
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. ACM Trans. Comput. Log. 19(2): 8:1-8:34 (2018) - Pierre Lescanne:
Quantitative Aspects of Linear and Affine Closed Lambda Terms. ACM Trans. Comput. Log. 19(2): 9:1-9:18 (2018) - Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai:
An Automatic Proving Approach to Parameterized Verification. ACM Trans. Comput. Log. 19(4): 27:1-27:25 (2018) - Daniel Neider, Shambwaditya Saha, P. Madhusudan:
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Trans. Comput. Log. 19(2): 10:1-10:23 (2018) - Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan:
Finite-State Map-Reduce Computation and Relational Algebra Queries. ACM Trans. Comput. Log. 19(2): 14:1-14:37 (2018) - Wied Pakusa, Svenja Schalthöfer, Erkal Selman:
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. ACM Trans. Comput. Log. 19(2): 7:1-7:27 (2018) - Florian Rabe:
A Modular Type Reconstruction Algorithm. ACM Trans. Comput. Log. 19(4): 24:1-24:43 (2018) - Stéphane Le Roux, Arno Pauly, Jean-François Raskin:
Minkowski Games. ACM Trans. Comput. Log. 19(3): 20:1-20:29 (2018) - Lutz Schröder, Yde Venema:
Completeness of Flat Coalgebraic Fixpoint Logics. ACM Trans. Comput. Log. 19(1): 4:1-4:34 (2018) - Thomas Seiller:
Interaction Graphs: Non-Deterministic Automata. ACM Trans. Comput. Log. 19(3): 21:1-21:24 (2018)
skipping 1 more match
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-28 10:24 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint