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 501-520 of 970 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
501Freund, Rudolf ; Alhazov, Artiom Priorities, Promoters and Inhibitors in Deterministic Non-Cooperative P SystemsKonferenzbeitrag Inproceedings2014
502Freund, Rudolf ; Alhazov, Artiom Length P Systems with a Lone TravelerKonferenzbeitrag Inproceedings2014
503Fermüller, Christian Semantic Games with Backtracking for Fuzzy LogicsKonferenzbeitrag Inproceedings2014
504Rodriguez, Rosa On the use of Hesitant Fuzzy Linguistic Term Set in FLINTSTONESKonferenzbeitrag Inproceedings2014
505Baaz, M. ; Leitsch, A. Cut-Elimination: Syntax and SemanticsArtikel Article2014
506Uckelman, Sara L. ; Alama, Jesse ; Knoks, Aleks A curious dialogical logic and its composition problemArtikel Article2014
507Alama, Jesse ; Heskes, Tom ; Kühlwein, Daniel ; Tsivtsivadze, Evgeni ; Urban, Josef Premise selection for mathematics by corpus analysis and kernel methodsArtikel Article2014
508Alama, Jesse The simplest axiom system for plane hyperbolic geometry revisited, againArtikel Article2014
509Freund, Rudolf ; Alhazov, Artiom Antimatter as a Frontier of Tractability in Membrane ComputingArtikel Article2014
510Freund, Rudolf ; Alhazov, Artiom Length P SystemsArtikel Article2014
511Hetzl, Stefan ; Reis, Giselle ; Weller, Daniel Algorithmic Introduction of Quantified CutsPreprint Preprint2014
512Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel Algorithmic introduction of quantified cutsArtikel Article2014
513Leitsch, Alexander ; Hetzl, Stefan ; Reis, Giselle ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityPreprint Preprint2014
514Artemov, Sergei ; Kuznets, Roman Logical omniscience as infeasibilityArtikel Article2014
515Bucheli, Samuel ; Kuznets, Roman ; Studer, Thomas Realizing public announcements by justificationsArtikel Article2014
516Fermüller, Christian G. ; Roschger, Christoph From Games to Truth Functions: A Generalization of Giles's GameArtikel Article2014
517Fermüller, Christian ; Roschger, Christoph Randomized game semantics for semi-fuzzy quantifiersArtikel Article2014
518Ciabattoni, Agata ; Ramanayake, Revantha ; Wansing, Heinrich Hypersequent and Display Calculi - a Unified PerspectiveArtikel Article 2014
519Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara Katharina ; Zamansky, Anna Taming Paraconsistent (and Other) Logics : An Algorithmic ApproachArtikel Article 2014
520Pach, Péter Pál ; Pinsker, Michael ; Pluhár, Gabriella ; Pongrácz, András ; Szabó, Csaba Reducts of the random partial orderArtikel Article 2014