Forschungsbereich Theory and Logic

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192-05 - Forschungsbereich Theory and Logic
 
Code Kennzahl
E192-05
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 461-480 of 968 (Search time: 0.002 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
470Alama, Jesse New results on Hilbert's 24th problemPräsentation Presentation2014
471Fermüller, Christian From truth-functional to substructural logics via semantic gamesPräsentation Presentation2014
472Fermüller, Christian Vagueness and logical dialogue gamesPräsentation Presentation2014
473Alama, Jesse New views into dialogue games for classical and intuitionistic logicPräsentation Presentation2014
474Alama, Jesse Reverse-engineering mathematicsPräsentation Presentation2014
475Alama, Jesse Dialogues for proof searchPräsentation Presentation2014
476Pinsker, Michael Introduction to Constraint Satisfaction over infinite structuresPräsentation Presentation2014
477Pinsker, Michael Decomposing function clones on infinite setsPräsentation Presentation2014
478Pinsker, Michael Topological Birkhoff and Constraint SatisfactionPräsentation Presentation2014
479Leitsch, Alexander Mathematical Proof AnalysisPräsentation Presentation2014
480Ciabattoni, Agata Tools for the investigation of substructural and paraconsistent logicsPräsentation Presentation2014