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 541-560 of 968 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
541Pinsker, Michael Topological Birkhoff and reconstructing the random graphPräsentation Presentation2013
542Pinsker, Michael Reconstructing omega-categorical structures from their clonesPräsentation Presentation2013
543Cerna, David Towards Powerful and Decidable Formalizations Through Schematic RepresentationPräsentation Presentation2013
544Leitsch, Alexander Methods of Cut-EliminationPräsentation Presentation2013
545Reis, Giselle Towards CERES in intuitionistic logicPräsentation Presentation2013
546Spendier, Lara Informatik - Knifflige Rätsel und andere SpielereienPräsentation Presentation2013
547Spendier, Lara How to get featured in TIME magazine as a logicianPräsentation Presentation2013
548Fermüller, Christian Semantic games and hypersequents - a case study in many valued reasoningPräsentation Presentation2013
549Fermüller, Christian Many Values in Semantic GamesPräsentation Presentation2013
550Leitsch, Alexander A method of algorithmic cut-introductionPräsentation Presentation2013
551Spendier, Lara Automated Support for the Investigation of Paraconsistent and Other LogicsPräsentation Presentation2013
552Reis, Giselle Cut-Introduction: GAPT System DemonstrationPräsentation Presentation2013
553Reis, Giselle A framework for specifying and reasoning in sequent calculus systemsPräsentation Presentation2013
554Reis, Giselle Checking Proof Transformations with ASPPräsentation Presentation2013
555Fermüller, Christian Game Based Interpretations of Mathematical Fuzzy LogicsPräsentation Presentation2013
556Ciabattoni, Agata Analytic calculi for non-classical logics: The Baha'i MethodPräsentation Presentation2013
557Ciabattoni, Agata Analytic calculi for non-classical logics: The Baha'i MethodPräsentation Presentation2013
558Ciabattoni, Agata Power andl limits of structural rulesPräsentation Presentation2013
559Fermüller, Christian G. On matrices, Nmatrices and gamesArtikel Article2013
560Fermüller, Christian Games semantics for deterministic and nondeterministic many-valued logicsPräsentation Presentation2013