Otto

Results: 4074



#Item
731

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting M. Brockschmidt, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany RTA 2011, Novi Sad

Add to Reading List

Source URL: verify.rwth-aachen.de

Language: English - Date: 2015-04-16 09:49:59
    732

    “Cosmologies of Life after Peirce, Heidegger and Darwin” Otto Lehto 1. Introduction In our efforts to extricate meaningful guidelines and hints for future projects from semioticians, philosophe

    Add to Reading List

    Source URL: www.ottolehto.com

    Language: English - Date: 2014-01-26 13:39:45
      733

      Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting∗ Marc Brockschmidt, Carsten Otto, Jürgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Abstract

      Add to Reading List

      Source URL: verify.rwth-aachen.de

      Language: English - Date: 2015-04-16 09:49:59
        734

        Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

        Add to Reading List

        Source URL: verify.rwth-aachen.de

        Language: English - Date: 2015-04-16 09:49:59
          735

          © Otto Lehto, 2008 Comparisons of the Nature of Law and Duty in Hobbes and Kant: Leviathan vs. Critique of Practical Reason 1. Introduction

          Add to Reading List

          Source URL: www.ottolehto.com

          Language: English - Date: 2014-01-26 12:04:28
            736

            Humanism, Existentialism, Semiotics (Otto LehtoHumanism and History Why humanism, still/again? The very same question was asked – not for the first time, nor for the last – by Sartre, in a rhetorical mood,

            Add to Reading List

            Source URL: www.ottolehto.com

            Language: English - Date: 2014-01-26 12:04:40
              737

              3D Bildrekonstruktion mit Hilfe geometrischer Modelle Andreas Herzog, Bernd Michaelis, Katharina Braun*, Henning Scheich* Otto-von-Guericke Universität Magdeburg Universitätsplatz 2 DMagdeburg

              Add to Reading List

              Source URL: sunsite.informatik.rwth-aachen.de

              Language: German - Date: 1999-05-18 04:47:05
                738

                ¨ MAGDEBURG OTTO-VON-GUERICKE-UNIVERSITAT 11. Theorietag der GI-FachgruppeAutomaten und Formale Sprachen“ ”

                Add to Reading List

                Source URL: theo.cs.uni-magdeburg.de

                Language: German - Date: 2015-05-05 06:46:07
                  739

                  HIPPOCAMPUS 16:629–RAPID COMMUNICATION Distinct Patterns of Gene Expression in the Left and Right Hippocampal Formation of Developing Rats Joseph R. Moskal,1 Roger A. Kroes,1 Nigel J. Otto,1 Omid Rahimi,2,3

                  Add to Reading List

                  Source URL: falk.mccormick.northwestern.edu

                  Language: English - Date: 2011-03-29 13:34:56
                    740

                    Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

                    Add to Reading List

                    Source URL: verify.rwth-aachen.de

                    Language: English - Date: 2015-04-16 09:49:59
                      UPDATE