Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 461-480 of 1049 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
461Pinsker, Michael Reconstructing structures from their abstract clonesPräsentation Presentation2014
462Pinsker, Michael Clones on Ramsey StructuresPräsentation Presentation2014
463Pinsker, Michael Algebraic and model theoretic methods in constraint satisfactionPräsentation Presentation2014
464Pinsker, Michael Constraint Satisfaction on infinite domains (tutorial)Präsentation Presentation2014
465Pinsker, Michael Algebraic and model theoretic methods in constraint satisfactionPräsentation Presentation2014
466Pinsker, Michael Projective clone homomorphismsPräsentation Presentation2014
467Fermüller, Christian n Equilibrium Semantics for IF-Logic and Many-Valued ConnectivesPräsentation Presentation2014
468Fermüller, Christian Parallel Dialogue Games and HypersequentsPräsentation Presentation2014
469Alama, Jesse Without EPräsentation Presentation2014
470Lonsing, Florian Search-Based QBF SolvingPräsentation Presentation2014
471Egly, Uwe Deduction Concepts for Quantified Boolean FormulasPräsentation Presentation2014
472Egly, Uwe Quantifier Handling in Different Calculi for Quantified Boolean FormulasPräsentation Presentation2014
473Veith, Helmut History of Model CheckingPräsentation Presentation2014
474Veith, Helmut Model Checking of Fault-Tolerant Distributed AlgorithmsPräsentation Presentation2014
475Alama, Jesse New results on Hilbert's 24th problemPräsentation Presentation2014
476Fermüller, Christian From truth-functional to substructural logics via semantic gamesPräsentation Presentation2014
477Fermüller, Christian Vagueness and logical dialogue gamesPräsentation Presentation2014
478Raidl, Günther Variable Neighborhood Search HybridsPräsentation Presentation2014
479Egly, Uwe On the Relation between Resolution Calculi for QBFs and First-order FormulasPräsentation Presentation2014
480Egly, Uwe Quantifier handling in calculi for quantified Boolean formulasPräsentation Presentation2014