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

PreviewAuthor(s)TitleTypeIssue Date
241Ciabattoni, Agata ; Gulisano, Francesca ; Lellmann, Björn Resolving Conflicting Obligations in Mīmāṃsā: A Sequent-based ApproachKonferenzbeitrag Inproceedings 2018
242Freund, Rudolf ; Alhazov, Artiom ; Verlan, Sergey Small Universal Reversible Counter MachinesBuchbeitrag Book Contribution 2018
243Freund, Rudolf ; Oswald, Marion ; Alhazov, Artiom Chocolate P AutomataBuchbeitrag Book Contribution 2018
244Fermüller, Christian ; Majer, Ondrej On Semantic Games for Łukasiewicz LogicBuchbeitrag Book Contribution 2018
245Lyon, Tim ; Ramanayake, Revantha ; Ciabattoni, Agata From Display to Labelled Calculi for Tense LogicsKonferenzbeitrag Inproceedings 2018
246Leitsch, Alexander ; Peltier, Nicolas ; Weller, Daniel CERES for first-order schemataArtikel Article Oct-2017
247Cerna, David ; Leitsch, Alexander ; Reis, Giselle ; Wolfsteiner, Simon Peter Ceres in intuitionistic logicArtikel Article Oct-2017
248Baaz, Matthias ; Ciabattoni, Agata ; Gabbay, Dov M. ; Hetzl, Stefan ; Weller, Daniel PrefaceArtikel ArticleMar-2017
249Kuznets, Roman ; Strassburger, Lutz Efficient Proof Systems for Modal LogicsPräsentation Presentation2017
250Kompatscher, Michael A new proof of the existence of cores of omega-categorical structuresPräsentation Presentation2017
251Ciabattoni, Agata From hypersequent calculi to parallel computationPräsentation Presentation2017
252Ciabattoni, Agata How to Reach Heaven: Different career pathsPräsentation Presentation2017
253Pascucci, Matteo Temporal irreflexivity in terms of a propositional constantPräsentation Presentation2017
254Pascucci, Matteo Natural deduction for modal logic with propositional quantifiersPräsentation Presentation2017
255Pascucci, Matteo Modalities between a logical and an empirical account of indeterminismPräsentation Presentation2017
256Pinsker, Michael The two dichotomy conjectures for in nite domain CSPs are equivalentPräsentation Presentation2017
257Pinsker, Michael Double-shrinking pseudo-SiggersPräsentation Presentation2017
258Ciabattoni, Agata Logic-based process calculi: Gödel logic and beyondPräsentation Presentation2017
259Ciabattoni, Agata From hypersequents to parallel computation for intermediate logicsPräsentation Presentation2017
260Ciabattoni, Agata Goedel Logic: from Hypersequents to Parallel ComputationPräsentation Presentation2017