The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ACM Trans. Comput. Log."( http://dblp.L3S.de/Venues/ACM_Trans._Comput._Log. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/tocl

Publication years (Num. hits)
2000-2001 (33) 2002 (18) 2003 (22) 2004 (23) 2005 (28) 2006 (24) 2007 (31) 2008 (22) 2009 (36) 2010 (30) 2011 (21) 2012 (34) 2013 (34) 2014 (40) 2015 (38) 2016 (25) 2017 (33) 2018 (31) 2019 (25)
Publication types (Num. hits)
article(548)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 660 occurrences of 372 keywords

Results
Found 548 publication records. Showing 548 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Albert Atserias, Joanna Ochremiak Proof Complexity Meets Algebra. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley Checking Admissibility Using Natural Dualities. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michal Wrona The Complexity of Minimal Inference Problem for Conservative Constraint Languages. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ori Lahav, Yoni Zohar Pure Sequent Calculi: Analyticity and Decision Procedure. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal A Higher-Order Calculus of Computational Fields. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti Central Limit Model Checking. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bahar Aameri, Michael Grüninger A Representation Theorem for Change through Composition of Activities. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lorenzo Clemente, Slawomir Lasota 0001, Ranko Lazic, Filip Mazowiecki Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jérémie Chalopin, Victor Chepoi 1-Safe Petri Nets and Special Cube Complexes: Equivalence and Applications. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Karin Quaas, Mahsa Shirmohammadi Synchronizing Data Words for Register Automata. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat Generalized Eilenberg Theorem: Varieties of Languages in a Category. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alex Klinkhamer, Ali Ebnenasir On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cláudia Nalon, Clare Dixon, Ullrich Hustadt Modal Resolution: Proofs, Layers, and Refinements. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nils Bulling, Wojciech Jamroga, Matei Popovici Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg Probabilistic Epistemic Updates on Algebras. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jim E. Newton, Didier Verna A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik Reasoning about Cognitive Trust in Stochastic Multiagent Systems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Neha Lodha, Sebastian Ordyniak, Stefan Szeider A SAT Approach to Branchwidth. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Björn Lellmann, Elaine Pimentel Modularisation of Sequent Calculi for Normal and Non-normal Modalities. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Fast Query Answering over Existential Rules. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Oleg Verbitsky, Maksim Zhukovskii Tight Bounds on the Asymptotic Descriptive Complexity of Subgraph Isomorphism. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiaowei Huang, Ron van der Meyden An Epistemic Strategy Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elliot Fairweather, Maribel Fernández Typed Nominal Rewriting. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Masahiro Hamano Geometry of Interaction for MALL via Hughes-Van Glabbeek Proof-Nets. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miika Hannula Hierarchies in Inclusion Logic with Lax Semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dusan Guller Automated Deduction in Gödel Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lutz Schröder, Yde Venema Completeness of Flat Coalgebraic Fixpoint Logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stéphane Le Roux 0001, Arno Pauly, Jean-François Raskin Minkowski Games. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu Modular Labelled Sequent Calculi for Abstract Separation Logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Lescanne Quantitative Aspects of Linear and Affine Closed Lambda Terms. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michal Garlík, Leszek Aleksander Kolodziejczyk Some Subsystems of Constant-Depth Frege with Parity. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benno van den Berg Path Categories and Propositional Identity Types. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer Complexity of Propositional Logics in Team Semantic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steffen van Bakel Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez Parallel Cost Analysis. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski, Lidia Tendera Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Seiller Interaction Graphs: Non-Deterministic Automata. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla Are Short Proofs Narrow? QBF Resolution Is Not So Simple. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Francesco A. Genco Hypersequents and Systems of Rules: Embeddings and Applications. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Valentin Goranko, Antti Kuusisto, Raine Rönnholm Game-Theoretic Semantics for Alternating-Time Temporal Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan Finite-State Map-Reduce Computation and Relational Algebra Queries. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan Automated Equivalence Checking of Concurrent Quantum Systems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang, Bela Stantic Syntax-Preserving Belief Change Operators for Logic Programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Md. Aquil Khan, Vineeta Singh Patel A Simple Modal Logic for Reasoning in Multigranulation Rough Set Model. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang 0001, Lijun Zhang 0001, Yi Lv, Shaowei Cai An Automatic Proving Approach to Parameterized Verification. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Neider, Shambwaditya Saha, P. Madhusudan Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Catalin Dima, Bastien Maubert, Sophie Pinchinat Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Aler Tubella, Alessio Guglielmi Subatomic Proof Systems: Splittable Systems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wied Pakusa, Svenja Schalthöfer, Erkal Selman Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florian Rabe A Modular Type Reconstruction Algorithm. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1André Platzer Differential Hybrid Games. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Isabella Mastroeni, Damiano Zanardini Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Sangiorgi Equations, Contractions, and Unique Solutions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Denis K. Ponomaryov, Mikhail Soutchanski Progression of Decomposed Local-Effect Action Theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carsten Fuhs, Cynthia Kop, Naoki Nishida 0001 Verifying Procedural Programs via Constrained Rewriting Induction. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adrian Haret, Stefan Rümmele, Stefan Woltran Merging in the Horn Fragment. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1George Barmpalias, Douglas Cenzer, Christopher P. Porter The Probability of a Computable Output from a Random Oracle. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kord Eickmeyer, Michael Elberfeld, Frederik Harwath Succinctness of Order-Invariant Logics on Depth-Bounded Structures. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn Datalog Queries Distributing over Components. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Iyad A. Kanj, Stefan Szeider On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hubie Chen, Moritz Müller One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov Faster Statistical Model Checking for Unbounded Temporal Properties. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Che-Ping Su, Tuan-Fang Fan, Churn-Jung Liau Possibilistic Justification Logic: Reasoning About Justified Uncertain Beliefs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Petar Dapic, Petar Markovic, Barnaby Martin Quantified Constraint Satisfaction Problem on Semicomplete Digraphs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev Horn Fragments of the Halpern-Shoham Interval Temporal Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicholas R. Radcliffe, Luis F. T. Moraes, Rakesh M. Verma Uniqueness of Normal Forms for Shallow Term Rewrite Systems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Lück, Arne Meier, Irena Schindler Parametrised Complexity of Satisfiability in Temporal Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Nested Weighted Automata. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad The Logical View on Continuous Petri Nets. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nathanaël Fijalkow, Charles Paperman Monadic Second-Order Logic with Arbitrary Monadic Predicates. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre Collapsible Pushdown Automata and Recursion Schemes. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Information Flow under Budget Constraints. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Eberhard, Gabriel Ebner, Stefan Hetzl Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Krebs, Howard Straubing An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Pablo Muñoz Graph Logics with Rational Relations: The Role of Word Combinatorics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus Managing Change in Graph-Structured Data Using Description Logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arnold Beckmann, Sam Buss The NP Search Problems of Frege and Extended Frege Proofs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Heng Zhang 0006, Yan Zhang 0003 Expressiveness of Logic Programs under the General Stable Model Semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Szymon Chlebowski, Maciej Komosinski, Adam Kups Automated Generation of Erotetic Search Scenarios: Classification, Optimization, and Knowledge Extraction. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Bodirsky, Peter Jonsson, Van Trung Pham The Complexity of Phylogeny Constraint Satisfaction Problems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Calautti, Sergio Greco, Irina Trubitsyna Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kensuke Kojima, Atsushi Igarashi A Hoare Logic for GPU Kernels. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran Belief Merging within Fragments of Propositional Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz How Hard Is Positive Quantification? Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Elberfeld, Martin Grohe, Till Tantau Where First-Order and Monadic Second-Order Logic Coincide. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Kristina Sojakova The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Benedikt, Clemens Ley Limiting Until in Ordered Tree Query Languages. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, Vincent Cheval, Stefan Ciobaca, Steve Kremer Automated Verification of Equivalence Properties of Cryptographic Protocols. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Konstantinos Mamouras The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adam Trybus Rational Region-Based Affine Logic of the Real Plane. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Facchini, Filip Murlak, Michal Skrzypczak Index Problems for Game Automata. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell 0001 Complexity of Two-Variable Logic on Finite Trees. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Albert Atserias, Massimo Lauria, Jakob Nordström Narrow Proofs May Be Maximally Long. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 548 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license