University of Gothenburg

Results: 267



#Item
1The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

Add to Reading List

Source URL: www.cs.utexas.edu

Language: English - Date: 2017-08-06 02:05:36
2Master Thesis 30 hp GM0760 Department of Economics School of Business, Economics and Law University of Gothenburg

Master Thesis 30 hp GM0760 Department of Economics School of Business, Economics and Law University of Gothenburg

Add to Reading List

Source URL: core.ac.uk

Language: English - Date: 2017-12-03 10:20:25
    3Transition-based parsing Peter Ljunglöf Department of Linguistics Gothenburg University

    Transition-based parsing Peter Ljunglöf Department of Linguistics Gothenburg University

    Add to Reading List

    Source URL: www.speech.kth.se

    Language: English
      4MedEval The Construction of a Swedish Medical Test Collection Karin Friberg Heppin Department of Swedish Language University of Gothenburg Gothenburg, Sweden

      MedEval The Construction of a Swedish Medical Test Collection Karin Friberg Heppin Department of Swedish Language University of Gothenburg Gothenburg, Sweden

      Add to Reading List

      Source URL: www.speech.kth.se

      Language: English
        5Gendering the Roman imago* Lewis Webb University of Gothenburg Eius te suscitat

        Gendering the Roman imago* Lewis Webb University of Gothenburg Eius te suscitat

        Add to Reading List

        Source URL: eugesta-revue.univ-lille3.fr

        Language: English - Date: 2017-12-12 05:45:56
          6

          How Language Caused the Modern World Deirdre Nansen McCloskey University of Illinois at Chicago and Gothenburg University

          Add to Reading List

          Source URL: www.deirdremccloskey.com

          Language: English - Date: 2015-01-09 20:06:59
            7Unifying Facets of Information Integrity Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Information integrity is a vital security property in

            Unifying Facets of Information Integrity Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Information integrity is a vital security property in

            Add to Reading List

            Source URL: www.cse.chalmers.se

            Language: English - Date: 2010-10-13 07:38:57
              8Practical Way Halting by Speculatively Accessing Halt Tags Daniel Moreau† , Alen Bardizbanyan† , Magnus Själander‡ , David Whalley§ , and Per Larsson-Edefors† † Chalmers University of Technology, Gothenburg,

              Practical Way Halting by Speculatively Accessing Halt Tags Daniel Moreau† , Alen Bardizbanyan† , Magnus Själander‡ , David Whalley§ , and Per Larsson-Edefors† † Chalmers University of Technology, Gothenburg,

              Add to Reading List

              Source URL: www.sjalander.com

              Language: English - Date: 2016-01-05 04:38:55
                9New batteries demand new electrolyte concepts?! a Dept. Patrik Johansson a,b of Physics, Chalmers University of Technology, 412 96, Gothenburg, Sweden b Alistore-ERI European Research Institute

                New batteries demand new electrolyte concepts?! a Dept. Patrik Johansson a,b of Physics, Chalmers University of Technology, 412 96, Gothenburg, Sweden b Alistore-ERI European Research Institute

                Add to Reading List

                Source URL: www.imlb2018.org

                Language: English - Date: 2018-03-29 22:36:24
                  10A Representation of Proofs with Cut as Higher Order Recursion Schemes Bahareh Afshari1 , Stefan Hetzl2 , and Graham E. Leigh1 1 University of Gothenburg, Sweden

                  A Representation of Proofs with Cut as Higher Order Recursion Schemes Bahareh Afshari1 , Stefan Hetzl2 , and Graham E. Leigh1 1 University of Gothenburg, Sweden

                  Add to Reading List

                  Source URL: anupamdas.com

                  - Date: 2017-08-04 11:45:44