Ann Lillieström
Visar 8 publikationer
Handling Transitive Relations in First-Order Automated Reasoning
Inferring Morphological Rules from Small Examples using 0/1 Linear Programming
Handling common transitive relations in first-order automated reasoning
Automated Inference of Finite Unsatisfiability
Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.