| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi |
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions  |
Logical Methods in Computer Science  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler |
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Mazur, Gavin Lowe |
A type reduction theory for systems with replicated components |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Cousineau 0002 |
On completeness of reducibility candidates as a semantics of strong normalization |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyril Cohen, Assia Mahboubi |
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Louis Krivine |
Realizability algebras II : new models of ZF + DC |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Isolde Adler, Mark Weyer |
Tree-width for first order formulae |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Braibant, Damien Pous |
Deciding Kleene Algebras in Coq |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani |
On Global Types and Multi-Party Session |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alasdair Urquhart |
Width and size of regular resolution proofs |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Cook, Lila Fontes |
Formal Theories for Linear Algebra |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunnar Wilken, Andreas Weiermann |
Derivation Lengths Classification of Gödel's T Extending Howard's Assignment |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Assalé Adjé, Stéphane Gaubert, Eric Goubault |
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aquinas Hobor, Cristian Gherghina |
Barriers in Concurrent Separation Logic: Now With Tool Support! |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Slawomir Lasota |
An extension of data automata that captures XPath |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel, Gabriel Scherer |
On Irrelevance and Algorithmic Equality in Predicative Type Theory |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cheney |
A dependent nominal type theory |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Miné |
Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick, Thomas Zeume |
Two-Variable Logic with Two Order Relations |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Delia Kesner |
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise |
Quantifier-Free Interpolation of a Theory of Arrays |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Libor Barto, Marcin Kozik |
Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Wiedijk |
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Ahrens |
Extended Initiality for Typed Abstract Syntax |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen, Florent Kirchner, David Pichardie |
Secure the Clones |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Kreutzer |
On the Parameterized Intractability of Monadic Second-Order Logic |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli |
Ground interpolation for the theory of equality |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Potgieter |
The rapid points of a complex oscillation |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq |
QRB-Domains and the Probabilistic Powerdomain |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Seth Fogarty, Moshe Y. Vardi |
Büchi Complementation and Size-Change Termination |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr |
Modes of Convergence for Term Graph Rewriting |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Luca Padovani |
Typing Copyless Message Passing |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira |
Alternating register automata on finite words and trees |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahito Aoto, Yoshihito Toyama |
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Feng Chen |
Semantics and Algorithms for Parametric Monitoring |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Alejandro Díaz-Caro |
Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Mio |
On the equivalence of game and denotational semantics for the probabilistic mu-calculus |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Miquel |
Existential witness extraction in classical realizability and via a negative translation |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Normann |
Banach Spaces as Data Types |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Louis Krivine |
Realizability algebras: a program to well order R |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, C.-H. Luke Ong |
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Jiri Velebil |
Semantics of Higher-Order Recursion Schemes |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgi Japaridze |
From formulas to cirquents in computability logic |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Moser, Andreas Schnabl |
The Derivational Complexity Induced by the Dependency Pair Method |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Timed Parity Games: Complexity and Robustness |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Atkey |
Amortised Resource Analysis with Separation Logic |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvonko Iljazovic |
Co-c.e. spheres and cells in computable metric spaces |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vassilios Gregoriades |
Computational Models of Certain Hyperspaces of Quasi-metric Spaces |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Koprowski, Henri Binsztok |
TRX: A Formally Verified Parser Interpreter |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor |
Psi-calculi: a framework for mobile processes with nominal data and logic |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride |
Knowledge-Based Synthesis of Distributed Systems Using Event Structures |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Furio Honsell, Marina Lenisa |
Conway games, algebraically and coalgebraically |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
Power of Randomization in Automata on Infinite Strings |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kaminski, Sigurd Schneider, Gert Smolka |
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Paul Brodhead, Ferit Toska, Sebastian Wyman |
Algorithmic Randomness and Capacity of Closed Sets |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang |
Nested Hoare Triples and Frame Rules for Higher-order Store |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Ronald Fagin, Alan Nash |
Composition with Target Constraints |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Place, Luc Segoufin |
A decidable characterization of locally testable tree languages |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Desharnais, Bernhard Möller, Georg Struth |
Algebraic Notions of Termination |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Chung-Kil Hur |
On the mathematical synthesis of equational logics |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Francalanza, Julian Rathke, Vladimiro Sassone |
Permission-Based Separation Logic for Message-Passing Concurrency |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vardoulakis, Olin Shivers |
CFA2: a Context-Free Approach to Control-Flow Analysis |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Basaldella, Claudia Faggian |
Ludics with repetitions (Exponentials, Interactive types and Completeness) |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Friedmann |
An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew R. Lakin |
Constraint solving in non-permutative nominal abstract syntax |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner |
Equality Saturation: A New Approach to Optimization |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazanin Tavana, Klaus Weihrauch |
Turing machines on represented sets, a model of computation for Analysis |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Linda Postniece, Alwen Tiu |
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley Calvert, Ken Kramer, Russell Miller |
Noncomputable functions in the Blum-Shub-Smale model |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer |
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Jens K. Mueller |
The Complexity of Rooted Phylogeny Problems |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Hyvernat |
Finiteness spaces, graphs and "coherence" |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Clemens Kupke, Dirk Pattinson |
EXPTIME Tableaux for the Coalgebraic mu-Calculus |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Dreyer, Amal Ahmed, Lars Birkedal |
Logical Step-Indexed Logical Relations |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Generic Modal Cut Elimination Applied to Conditional Logics |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ummels, Dominik Wojtczak |
The Complexity of Nash Equilibria in Stochastic Multiplayer Games |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
A calculus for costed computations |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel, Thierry Coquand, Miguel Pagano |
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Logical Concurrency Control from Sequential Proofs |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdi Aliakbari, Massoud Pourmahdian |
Computational Models of Certain Hyperspaces of Quasi-metric Spaces |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Berger |
From coinductive proofs to exact real arithmetic: theory and applications |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | George Metcalfe, Nicola Olivetti |
Towards a Proof Theory of Gödel Modal Logics |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Burel |
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | André Hernich |
Answering Non-Monotonic Queries in Relational Data Exchange |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bezhanishvili, Mai Gehrke |
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Mundhenk, Felix Weiss |
Intuitionistic implication makes model checking hard |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gyesik Lee, Benjamin Werner |
Proof-irrelevant model of CC with predicative induction and judgmental equality |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Kazana, Luc Segoufin |
First-order query evaluation on structures of bounded degree |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Andrew C. Myers |
Attacker Control and Impact for Confidentiality and Integrity |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kord Eickmeyer, Martin Grohe |
Randomisation and Derandomisation in Descriptive Complexity Theory |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir M. Ben-Amram |
Monotonicity Constraints for Termination in the Integer Domain |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Staton |
Relating coalgebraic notions of bisimulation |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Heindel, Pawel Sobocinski |
Being Van Kampen is a universal property |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bès, Alexander Rabinovich |
Decidable Expansions of Labelled Linear Orderings |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt, Thomas Schwentick |
A note on the expressive power of linear orders |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Lengrand, Roy Dyckhoff, James McKinna |
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Awodey, Florian Rabe |
Kripke Semantics for Martin-Löf's Extensional Type Theory |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Petit |
Semantics of Typed Lambda-Calculus with Constructors |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")