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

PreviewAuthors / EditorsTitleTypeIssue Date
261Ciabattoni, Agata Proof-Theory for Non-Classical Logics: Sequent calculi and beyondPräsentation Presentation2017
262Kompatscher, Michael Cores of omega-categorical structuresPräsentation Presentation2017
263Kompatscher, Michael Completing edge-labelled graphs to metric spacesPräsentation Presentation2017
264Pinsker, Michael Equations in algebras from omega-categorical structuresPräsentation Presentation2017
265Kuznets, Roman Modal Calculi from Semantics: a Case StudyPräsentation Presentation2017
266Baldi, Paolo ; Hofer, Matthias Discussion on Quantifier Fuzzyfication Mechanisms.Präsentation Presentation2017
267Fermüller, Christian A logical perspective on argumentationPräsentation Presentation2017
268Kompatscher, Michael ; Pinsker, Michael Oligomorphic clonesPräsentation Presentation2017
269Kompatscher, Michael Linearization of certain non-trivial equations in oligomorphic clonesPräsentation Presentation2017
270Fermüller, Christian Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance LogicsPräsentation Presentation2017
271Fermüller, Christian Connecting fuzzy logic and argumentation frames via logical attack principlesPräsentation Presentation2017
272Kuznets, Roman Herbrand's Phenomena in Justification LogicPräsentation Presentation2017
273Pinsker, Michael Equations in oligomorphic algebrasPräsentation Presentation2017
274Kuznets, Roman Through an Inference Rule, DarklyPräsentation Presentation2017
275Freund, Rudolf (Tissue) P Systems with Vesicles of MultisetsKonferenzbeitrag Inproceedings 2017
276Kompatscher, Michael Completing graphs to metric spacesKonferenzbeitrag Inproceedings 2017
277Kompatscher, Michael ; Pinsker, Michael The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problemsKonferenzbeitrag Inproceedings 2017
278Lolic, Anela ; Leitsch, Alexander Expansion Trees from Non-Normalized Proofs with CERESPräsentation Presentation2017
279Freund, Rudolf Ninth Workshop on Non-Classical Models of Automata and Applications, {NCMA} 2017, Prague, Czech RepublicKonferenzband Proceedings2017
280Freund, Rudolf Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of ProcessorsKonferenzbeitrag Inproceedings 2017