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

PreviewAuthor(s)TitleTypeIssue Date
621Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
622Gmeiner, Karl ; Gramlich, Bernhard ; Schernhammer, Felix On Soundness Conditions for Unraveling Deterministic Conditional Rewrite SystemsKonferenzbeitrag Inproceedings 2012
623Fermüller, Christian ; Roschger, Christoph Extending Giles's Game for Lukasiewicz Logic to Fuzzy QuantificationKonferenzbeitrag Inproceedings2012
624Gramlich, Bernhard ; Györgyfalvay, Klaus On Modularity of Termination Properties of Rewriting under StrategiesKonferenzbeitrag Inproceedings2012
625Jiresch, Eugen ; Gramlich, Bernhard Realizing Monads in Interaction Nets via Generic Typed RulesBericht Report2011
626Paleo, Bruno Woltzenlogel Physics and Proof TheoryArtikel Article2011
627Gramlich, Bernhard On (Un)Soundness of Unraveling Deterministic Conditional Rewrite SystemsPräsentation Presentation2011
628Ciabattoni, Agata Power and Limits of Analytic Calculi: Towards a Systematic Proof Theory for Nonclassical LogicsPräsentation Presentation2011
629Fermüller, Christian Parallel Dialogue Games and Hypersequents for Intermediate LogicsPräsentation Presentation2011
630Ciabattoni, Agata Systematic (and algebraic) proof theory for substructural logicsPräsentation Presentation2011
631Ciabattoni, Agata Nonclassical Proofs: theory, applications, and toolsPräsentation Presentation2011
632Roschger, Christoph Evaluation Games under VaguenessPräsentation Presentation2011
633Freund, Rudolf ; Kogler, Marian ; Oswald, Marion A General Framework for Regulated Rewriting Based on the Applicability of RulesPräsentation Presentation2011
634Fermüller, Christian Logic and Vagueness. Report from an Interdisciplinary Battle GroundPräsentation Presentation2011
635Fermüller, Christian Vague and Uncertain Entailment - Some Conceptual ClarificationsPräsentation Presentation2011
636Fermüller, Christian Parallel Dialogue Games and Hypersequents for Intermediate LogicsPräsentation Presentation2011
637Fermüller, Christian How to justify your favorite logical system? - A case studyPräsentation Presentation2011
638Fermüller, Christian Parallel dialogue games and hypersequentsPräsentation Presentation2011
639Fermüller, Christian Logical Models of Reasoning with Vague InformationPräsentation Presentation2011
640Leitsch, Alexander Towards algorithmic cut-introductionPräsentation Presentation2011