Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 341-360 of 1049 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
341Lonsing, Florian An Overview of QBF Reasoning TechniquesPräsentation Presentation2016
342Konnov, Igor Helmut Veith and the quest for verified distributed algorithmsPräsentation Presentation2016
343Lonsing, Florian Advances in QBF ReasoningPräsentation Presentation2016
344Klocker, Benedikt ; Raidl, Günther Heuristic Approaches for Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing NumbersPräsentation Presentation2016
345Kovacs, Laura Enjoying Research at the Intersection of Math and Computer SciencePräsentation Presentation2016
346Kuznets, Roman How I stopped worrying about formulas and learned to interpolatePräsentation Presentation2016
347Kompatscher, Michael 2^omega many maximal-closed subgroups of Sym(omega)Präsentation Presentation2016
348Weissenbacher, Georg Interpolation algorithms and their applications in model checkingPräsentation Presentation2016
349Freund, Rudolf Variants of Energy-Controlled P SystemsPräsentation Presentation2016
350Kompatscher, Michael Constraint satisfaction problems over the random posetPräsentation Presentation2016
351Ciabattoni, Agata Systematic proof theory for substructural logics and applicationsPräsentation Presentation2016
352Kompatscher, Michael A complexity dichotomy for Poset-SATPräsentation Presentation2016
353Kompatscher, Michael CSPs over the random partial orderPräsentation Presentation2016
354Fermüller, Christian Giles' Game - Recent Developments and ChallengesPräsentation Presentation2016
355Leitsch, Alexander CERES in intuitionistic logic completenessPräsentation Presentation2016
356Fermüller, Christian Logical Consequence and Belief Change Arising From Semi-Abstract ArgumentationPräsentation Presentation2016
357Fermüller, Christian The future of MFL: pure math or seriously interdisciplinary?Präsentation Presentation2016
358Fermüller, Christian Interpreting Sequent Calculi as Client-Server GamesPräsentation Presentation2016
359Kuznets, Roman Syntax Meets Semantcs to Prove InterpolationPräsentation Presentation2016
360Freund, Rudolf Red-Green P AutomataPräsentation Presentation2016