Name Card

Full name Familienname, Vorname
Steen, Alexander
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Rawson-2022-Reuse of Introduced Symbols in Automatic Theorem Provers-vor.pdf.jpgRawson, Michael ; Suda, Martin ; Hozzova, Petra ; Reger, Giles Reuse of Introduced Symbols in Automatic Theorem ProversInproceedings Konferenzbeitrag 31-Aug-2022
2Hajdu-2022-The Vampire Approach to Induction short paper-vor.pdf.jpgHajdu, Marton ; Kovacs, Laura ; Rawson, Michael ; Voronkov, Andrei The Vampire Approach to Induction (short paper)Inproceedings Konferenzbeitrag 31-Aug-2022
3Lukumbuzya, Sanja Ontology-Enriched Data Management with Partially Complete DataKonferenzbeitrag Inproceedings 2019
4Soylu, Ahmet ; Moschoyiannis, Sotiris ; Governatori, Guido ; Simkus, Mantas ; Stefaneas, Petros ; Steen, Alexander ; Giurca, Adrian Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, ItalyKonferenzband Proceedings 2019