Forschungsbereich Computational Logic

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E104-02 - Forschungsbereich Computational Logic
 
Code Kennzahl
E104-02
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 661-680 of 840 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
661Baaz, Matthias ; Iemhoff, Rosalie Gentzen calculi for the existence predicateArtikel Article 2006
662Baaz, Matthias ; Moser, Georg Herbrand's theorem term inductionArtikel Article 2006
663Aiello, Marco ; Rosenberg, Florian ; Platzer, Christian ; Ciabattoni, Agata ; Dustdar, Schahram Service QoS composition at the level of part namesKonferenzbeitrag Inproceedings2006
664Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik Cut-Elimination: Experiments with CERESPräsentation Presentation2005
665Kuich, Werner Formal Power Series IPräsentation Presentation2005
666Kuich, Werner Conway semiring-semimodule pairs as a basis for mathematical automataPräsentation Presentation2005
667Kuich, Werner Formal Power Series IIPräsentation Presentation2005
668Kuich, Werner Conway semiring and skew formal power seriesPräsentation Presentation2005
669Kuich, Werner Formal Power Series IIIPräsentation Presentation2005
670Kuich, Werner On skew formal power seriesPräsentation Presentation2005
671Terwijn, Sebastiaan A. Computability and randomnessPräsentation Presentation2005
672Iemhoff, Rosalie Skolemization in intuitionistic logicPräsentation Presentation2005
673Baaz, Matthias Herbrand's theorem and the Skolemization of Prenex fragmentsPräsentation Presentation2005
674Baaz, Matthias The beauty of axiom systemsPräsentation Presentation2005
675Baaz, Matthias Term inductionPräsentation Presentation2005
676Baaz, Matthias The proof theory of analogical reasoning and juridical logicPräsentation Presentation2005
677Baaz, Matthias Computational analysis of proofPräsentation Presentation2005
678Baaz, Matthias Proof theory of analogical reasoning an juridical logicPräsentation Presentation2005
679Baaz, Matthias The proof theory of analogical reasoning and juridical logicPräsentation Presentation2005
680Baaz, Matthias Herbrand's theorem and Skolem functionsPräsentation Presentation2005