Baaz, Matthias

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Baaz, Matthias
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Filter:
Access Type:  Open Access

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz-2022-Cut-Elimination for a Hypersequent Calculus for First-Order Go...-smur.pdf.jpgBaaz, Matthias ; Fermüller, Christian ; Preining, Norbert Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with DeltaPresentation Vortrag Sep-2022
2Aguilera Juan P - 2017 - Ten problems in Goedel logic.pdf.jpgAguilera Ozuna, Juan Pablo ; Baaz, Matthias Ten problems in Gödel logicArticle Artikel Jan-2017

Contributing Publications Mitbeteiligte Publikationen

Filter:
Access Type:  Open Access

Results 1-11 of 11 (Search time: 0.017 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Sauras Altuzarra Lorenzo - 2024 - From Logic to Discrete Geometry via Lattices.pdf.jpgSauras Altuzarra, Lorenzo From Logic to Discrete Geometry via LatticesThesis Hochschulschrift 2024
2Jergitsch Charlotte - 2023 - Interpolation by translation.pdf.jpgJergitsch, Charlotte Interpolation by translationThesis Hochschulschrift 2023
3Lolic Anela - 2020 - Automated proof analysis by CERES.pdf.jpgLolić, Anela Automated proof analysis by CERESThesis Hochschulschrift 2020
4Lettmann Michael Peter - 2018 - Algorithmic introduction of 2-cuts.pdf.jpgLettmann, Michael Peter Algorithmic introduction of π2-cutsThesis Hochschulschrift 2018
5Fokina Ekaterina - 2016 - Algorithmic properties of equivalence relations.pdf.jpgFokina, Ekaterina Algorithmic properties of equivalence relationsThesis Hochschulschrift 2016
6Machado Nogueira Reis Giselle - 2014 - Cut-elimination by resolution in...pdf.jpgMachado Nogueira Reis, Giselle Cut-elimination by resolution in intuitionistic logicThesis Hochschulschrift 2014
7Pflug Florian - 2014 - On the expressibility of semi-unification problems...pdf.jpgPflug, Florian On the expressibility of semi-unification problems : decidability and undecidability resultsThesis Hochschulschrift 2014
8Fasching Oliver - 2011 - Operator extensions of Goedel logics.pdf.jpgFasching, Oliver Operator extensions of Gödel logicsThesis Hochschulschrift 2011
9Zobel Sarah - 2009 - Choice sequences past and future.pdf.jpgZobel, Sarah Choice sequences : past and futureThesis Hochschulschrift 2009
10Woltzenlogel Paleo Bruno - 2009 - A general analysis of cut-elimination by CERes.pdf.jpgWoltzenlogel Paleo, Bruno A general analysis of cut-elimination by CEResThesis Hochschulschrift 2009
11Richter Clemens - 2006 - Proof transformations by resolution computational...pdf.jpgRichter, Clemens Proof transformations by resolution : computational methods of cut-eliminationThesis Hochschulschrift 2006