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

PreviewAuthors / EditorsTitleTypeIssue Date
641Woltzenlogel-Paleo, Bruno ; Fontaine, Pascal ; Merz, Stephan Compression of Propositional Resolution Proofs via Partial RegularizationKonferenzbeitrag Inproceedings2011
642Freund, Rudolf A General Framework for Regulated RewritingKonferenzbeitrag Inproceedings2011
643Jiresch, Eugen Extending the Interaction Nets Calculus by Generic RulesKonferenzbeitrag Inproceedings2011
644Schernhammer, Felix ; Meseguer, José Incremental checking of well-founded recursive specifications modulo axiomsKonferenzbeitrag Inproceedings 2011
645Jiresch, Eugen Towards a GPU-based Implementation of Interaction NetsKonferenzbeitrag Inproceedings 2011
646Ciabattoni, Agata ; Zamansky, Anna Basic contructive connectives, determinism and matric-based semanticstPräsentation Presentation2011
647Woltzenlogel-Paleo, Bruno A Deep Natural Deduction CalculusPräsentation Presentation2011
648Woltzenlogel-Paleo, Bruno Compression of Propositional Resolution ProofsPräsentation Presentation2011
649Woltzenlogel-Paleo, Bruno ; Fontaine, Pascal ; Deharbe, David Quantifier Inference Rules for SMT ProofsPräsentation Presentation2011
650Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel Ceres in higher-order logicArtikel Article2011
651Freund, Rudolf ; Gheorghe, Marian PrefaceArtikel Article2011
652Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige MacNeille Comletions of FL-algebrasArtikel Article2011
653Baaz, Matthias ; Hetzl, Stefan On the non-confluence of cut-eliminationArtikel Article2011
654Freund, Rudolf ; Verlan, Sergey (Tissue) P systems working in the k - restricted minimally or maximally parallel transition modeArtikel Article2011
655Rukhaia, Mikheil CERES for Propositional Proof SchemataPräsentation Presentation2011
656Freund, Rudolf ; Gheorghe, Marian ; Marcus, Solomon ; Mitrana, Victor ; Pérez-Jiménez, Mario Special Issue Natural Computing: Theory and Applications - PrefaceArtikel Article2011
657Freund, Rudolf ; Kogler, Marian ; Oswald, Marion A General Framework for Regulated Rewriting Based on the Applicability of RulesKonferenzbeitrag Inproceedings 2011
658Cintula, Petr ; Fermüller, Christian ; Godo, Lluis ; Hajek, Petr Understanding Vagueness. Logical, Philosophical and Linguistic PerspectivesBuch Book 2011
659Baaz, Matthias ; Leitsch, Alexander Methods of Cut-EliminationBuch Book2011
660Ciabattoni, Agata ; Lahav, Ori ; Zamansky, Anna Basic constructive connectives, determinism and matrix-based semanticsKonferenzbeitrag Inproceedings 2011