Forschungsbereich Computational Logic

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
 


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

PreviewAuthor(s)TitleTypeIssue Date
1Aguilera Ozuna, Juan Pablo ; Diéguez, Martín ; Fernández-Duque, David ; McLean, Brett Gödel–Dummett linear temporal logicArticle Artikel Jan-2025
2Wiesnet, Franziskus Material Interpretation - A Case StudyPresentation Vortrag30-Nov-2024
3Wiesnet, Franziskus Minlog-Kurs 2024Multimedia and Design Multimedia und Design4-Nov-2024
4Bazhenov, Nikolay ; Cipriani, Vittorio ; Jain, Sanjay ; San Mauro, Luca ; Stephan, Frank Classifying different criteria for learning algebraic structuresPreprint Preprint30-Oct-2024
5Cipriani, Vittorio Learning to classifyPresentation Vortrag23-Aug-2024
6Rossegger, Dino Recursive isomorphism and Turing equivalence through the effective descriptive set theory lensePresentation Vortrag22-Aug-2024
7Benavente-Fokina, Ekaterina On structures with non-computable presentationsPresentation Vortrag23-Jul-2024
8Cipriani, Vittorio On the computational complexity of unfriendly partitionsPresentation Vortrag18-Jul-2024
9Rossegger, Dino Algorithmic Aspects of Left-orderings of solvable Baumslag-Solitar groups via their dynamical realizationsPresentation Vortrag12-Jul-2024
10Cipriani, Vittorio Classifying isomorphism problems and learning of algebraic structuresPresentation Vortrag12-Jul-2024
11Ritter, Martin Christoph Isomorphism relations on classes of c.e. structuresPresentation Vortrag8-Jul-2024
12Rossegger, Dino Learning equivalence relations on Polish spacesPresentation Vortrag2-Jul-2024
13Bazhenov, Nikolay ; Fokina, Ekaterina ; Rossegger, Dino ; Soskova, Alexandra ; Vatev, Stefan Learning Families of Algebraic Structures from TextInproceedings Konferenzbeitrag 2-Jul-2024
14Droste-2024-Theoretical Computer Science-vor.pdf.jpgDroste, Manfred ; Kuich, Werner Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semiringsArticle Artikel 29-Jun-2024
15Ritter, Martin Christoph Isomorphism relations on classes of c.e. structuresPresentation Vortrag28-Jun-2024
16Cipriani, Vittorio Isomorphism problems and learning of algebraic structuresPresentation Vortrag28-Jun-2024
17Cipriani, Vittorio Classifying isomorphism problems and learning of algebraic structuresPresentation Vortrag12-Mar-2024
18Prunescu, Mihai ; Sauras Altuzarra, Lorenzo An arithmetic term for the factorial functionArticle Artikel 1-Feb-2024
19Rossegger, Dino The Borel complexity of first-order theoriesPresentation Vortrag14-Jan-2024
20Baaz, Matthias ; Lolic, Anela On Translations of Epsilon Proofs to LKInproceedings Konferenzbeitrag 2024