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 (6)
Publication types (Num. hits)
article(529)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 660 occurrences of 372 keywords

Results
Found 529 publication records. Showing 529 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jim 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  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  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  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  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  BibTeX  RDF
1Albert Atserias, Joanna Ochremiak Proof Complexity Meets Algebra. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  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  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
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
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  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
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
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
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
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  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
1Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai An Automatic Proving Approach to Parameterized Verification. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  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  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  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
1Dusan Guller Automated Deduction in Gödel Logic. 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
1Xiaowei Huang, Ron van der Meyden An Epistemic Strategy Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  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
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
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
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
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
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
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
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
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
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
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  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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
1André Platzer Differential Hybrid Games. 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
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
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
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
1Davide Sangiorgi Equations, Contractions, and Unique Solutions. 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
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
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
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
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
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
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
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
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
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
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
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
1Michael Benedikt, Balder ten Cate, Michael Vanden Boom Effective Interpolation and Preservation in Guarded Logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker On Well-Founded Set-Inductions and Locally Monotone Operators. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  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
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
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin May-Happen-in-Parallel Analysis for Actor-Based Concurrency. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lorenzo Carlucci, Nicola Galesi, Massimo Lauria On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Brijesh Dongol, Ian J. Hayes, Georg Struth Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stéphane Demri, Morgan Deters Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simone Bova, Robert Ganian, Stefan Szeider Model Checking Existential Logic on Partially Ordered Sets. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Revantha Ramanayake Power and Limits of Structural Display Rules. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  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
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
1Lian Wen, Kewen Wang, Yi-Dong Shen, Fangzhen Lin A Model for Phase Transition of Random Answer-Set Programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  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
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
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
1Ranko Lazic, Joël Ouaknine, James Worrell 0001 Zeno, Hercules, and the Hydra: Safety Metric Temporal Logic is Ackermann-Complete. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hitoshi Furusawa, Georg Struth Taming Multirelations. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  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
1Paolo Liberatore Belief Merging by Examples. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Correctness and Completeness of Logic Programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Witold Charatonik, Piotr Witkowski 0001 Two-Variable Logic with Counting and Trees. 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
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
1Peter LeFanu Lumsdaine, Michael A. Warren The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals From Small Space to Small Width in Resolution. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stéphane Demri, Morgan Deters Two-Variable Separation Logic and Its Inner Circle. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bettina Fazzinga, Sergio Flesca, Francesco Parisi On the Complexity of Probabilistic Abstract Argumentation Frameworks. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ranko Lazic, Sylvain Schmitz Nonelementary Complexities for Branching VASS, MELL, and Extensions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 529 (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