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

PreviewAuthor(s)TitleTypeIssue Date
281Freund, Rudolf ; Ivanov, Sergui ; Alhazov, Artiom Simulating R Systems by P SystemsKonferenzbeitrag Inproceedings 2017
282Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui Purely Catalytic P Systems over Integers and Their Generative PowerKonferenzbeitrag Inproceedings 2017
283Freund, Rudolf ; Alhazov, Artiom ; Verlan, Sergey P Systems Working in Maximal Variants of the Set Derivation ModeKonferenzbeitrag Inproceedings 2017
284Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui Transitional P Systems with Randomized Rule Right-hand Sides.Konferenzbeitrag Inproceedings 2017
285Ramanayake, Revantha ; Ciabattoni, Agata Bunched Hypersequent Calculi for Distributive Substructural LogicsKonferenzbeitrag Inproceedings 2017
286Corsi, Esther Anna ; Fermüller, Christian G. Logical Argumentation Principles, Sequents, and Nondeterministic MatricesKonferenzbeitrag Inproceedings 2017
287Freund, Rudolf P Systems with Random RHS ExchangeKonferenzbeitrag Inproceedings2017
288Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui P Systems and the Concept of FairnessKonferenzbeitrag Inproceedings2017
289Freund, Rudolf ; Alhazov, Artiom Time-freeness and Clock-freeness and Related Concepts in P Systems.Konferenzbeitrag Inproceedings2017
290Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui Unfair P SystemsKonferenzbeitrag Inproceedings2017
291Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui P Systems with Randomized Right-hand Sides of RulesKonferenzbeitrag Inproceedings2017
292Freund, Rudolf ; Alhazov, Artiom ; Verlan, Sergey Sequential Polarized Tissue P Systems with Vesicles of MultisetsKonferenzbeitrag Inproceedings2017
293Baldi, Paolo ; Ciabattoni, Agata Standard Completeness for extensions of IMTLKonferenzbeitrag Inproceedings 2017
294Fermüller, Christian G. ; Lang, Timo Interpreting Sequent Calculi as Client-Server GamesKonferenzbeitrag Inproceedings 2017
295Baldi, Paolo ; Fermüller, Christian From Semi-fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and GamesKonferenzbeitrag Inproceedings 2017
296Kompatscher, Michael ; Van Pham, Trung A complexity dichotomy for poset constraint satisfactionKonferenzbeitrag Inproceedings 2017
297Leitsch, Alexander ; Lettmann, Michael The problem of Pi_2-cut-introductionArtikel Article 2017
298Freund, Rudolf ; Fernau, Henning Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local SelectorsArtikel Article 2017
299Freund, Rudolf Watson-Crick {T0L} Systems and Red-Green Register MachinesArtikel Article 2017
300Pascucci, Matteo Anderson's restriction of deontic modalities to contingent propositionsArtikel Article 2017