default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th WoLLIC 2010: Brasilia, Brazil
- Anuj Dawar
, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings. Lecture Notes in Computer Science 6188, Springer 2010, ISBN 978-3-642-13823-2 - Marcelo Finger, Mauricio S. C. Hernandes:
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. 1-18 - Martin Lange, Markus Latte:
A CTL-Based Logic for Program Abstractions. 19-33 - Johann A. Makowsky:
Application of Logic to Integer Sequences: A Survey. 34-41 - Ian Pratt-Hartmann:
The Two-Variable Fragment with Counting Revisited. 42-54 - Sebastiaan Terwijn:
Intuitionistic Logic and Computability Theory. 55-57 - Cesare Tinelli:
Foundations of Satisfiability Modulo Theories. 58 - Michiel van Lambalgen:
Logical Form as a Determinant of Cognitive Processes. 59-83 - Naeem Abbasi, Osman Hasan, Sofiène Tahar:
Formal Lifetime Reliability Analysis Using Continuous Random Variables. 84-97 - Carlos Areces, Guillaume Hoffmann, Alexandre Denis:
Modal Logics with Counting. 98-109 - Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón:
Verification of the Completeness of Unification Algorithms à la Robinson. 110-124 - Aditi Barthwal, Michael Norrish:
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages. 125-135 - Flavio Ferrarotti, Sven Hartmann, Sebastian Link:
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. 136-147 - Alexis Goyet, Masami Hagiya, Yoshinori Tanabe:
Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics. 148-160 - Sven Hartmann, Sebastian Link, Thu Trinh:
Solving the Implication Problem for XML Functional Dependencies with Properties. 161-175 - Glyn Morrill, Oriol Valentín:
On Anaphora and the Binding Principles in Categorial Grammar. 176-190 - Ramyaa Ramyaa, Daniel Leivant:
Feasible Functions over Co-inductive Data. 191-203 - Renata Hax Sander Reiser, Benjamín R. C. Bedregal, Gesner Antonio Azevedo dos Reis:
Interval Valued Fuzzy Coimplication. 204-217 - Daniele Nantes Sobrinho, Mauricio Ayala-Rincón:
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. 218-231 - Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
Intersection Type Systems and Explicit Substitutions Calculi. 232-246 - Richard Zuber:
Generalising Conservativity. 247-258
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 2025-11-09 22:54 CET 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:
