Conferences in DBLP
(wollic) 2010 (conf/wollic/2010)
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. [Citation Graph (, )][DBLP ] A CTL-Based Logic for Program Abstractions. [Citation Graph (, )][DBLP ] Application of Logic to Integer Sequences: A Survey. [Citation Graph (, )][DBLP ] The Two-Variable Fragment with Counting Revisited. [Citation Graph (, )][DBLP ] Intuitionistic Logic and Computability Theory. [Citation Graph (, )][DBLP ] Foundations of Satisfiability Modulo Theories. [Citation Graph (, )][DBLP ] Logical Form as a Determinant of Cognitive Processes. [Citation Graph (, )][DBLP ] Formal Lifetime Reliability Analysis Using Continuous Random Variables. [Citation Graph (, )][DBLP ] Modal Logics with Counting. [Citation Graph (, )][DBLP ] Verification of the Completeness of Unification Algorithms à la Robinson. [Citation Graph (, )][DBLP ] Mechanisation of PDA and Grammar Equivalence for Context-Free Languages. [Citation Graph (, )][DBLP ] On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. [Citation Graph (, )][DBLP ] Decidability and Undecidability Results on the Modal µ -Calculus with a Natural Number-Valued Semantics. [Citation Graph (, )][DBLP ] Solving the Implication Problem for XML Functional Dependencies with Properties. [Citation Graph (, )][DBLP ] On Anaphora and the Binding Principles in Categorial Grammar. [Citation Graph (, )][DBLP ] Feasible Functions over Co-inductive Data. [Citation Graph (, )][DBLP ] Interval Valued Fuzzy Coimplication. [Citation Graph (, )][DBLP ] Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. [Citation Graph (, )][DBLP ] Intersection Type Systems and Explicit Substitutions Calculi. [Citation Graph (, )][DBLP ] Generalising Conservativity. [Citation Graph (, )][DBLP ]