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 381-400 of 968 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
381Ciabattoni, Agata Proof theory meets semantics: the case of substructural logicsPräsentation Presentation2015
382Ciabattoni, Agata (Algebraic) Proof Theory for Substructural LogicsPräsentation Presentation2015
383Salzer, Gernot Why Computer Science Can't Get Enough of ClonesPräsentation Presentation2015
384Kuznets, Roman Grafted HypersequentsPräsentation Presentation2015
385Kuznets, Roman Justification LogicPräsentation Presentation2015
386Ciabattoni, Agata Proof Search and Co-NP Completeness for Many-Valued LogicsPräsentation Presentation2015
387Kompatscher, Michael Endomorphism monoids of omega-categorical structuresPräsentation Presentation2015
388Kompatscher, Michael Algebraic methods in constraint satisfactionPräsentation Presentation2015
389Kompatscher, Michael Dichotomy results for constraint satisfaction problemsPräsentation Presentation2015
390Pinsker, Michael Topological clonesPräsentation Presentation2015
391Pinsker, Michael Uniform BirkhoffPräsentation Presentation2015
392Freund, Rudolf ; Ivanov, Sergui P Systems with Multiple Catalysts of the Same NamePräsentation Presentation2015
393Kuznets, Roman Proof-theoretic Approach to Craig InterpolationPräsentation Presentation2015
394Kompatscher, Michael A counterexample on the reconstruction of oligomorphic clonesPräsentation Presentation2015
395Kompatscher, Michael Maximal-closed subgroups of Sym(omega) via Henson digraphsPräsentation Presentation2015
396Kompatscher, Michael Reducts of Henson digraphsPräsentation Presentation2015
397Pinsker, Michael Topological clonesPräsentation Presentation2015
398Pinsker, Michael Uniform BirkhoffPräsentation Presentation2015
399Freund, Rudolf ; Verlan, Sergey The Set-Maximally Parallel Derivation ModePräsentation Presentation2015
400Freund, Rudolf ; Alhazov, Artiom New Results for Small Universal P Systems Based on the Simulation of Generalized Register Machines and Generalized Counter AutomataPräsentation Presentation2015