Treffer 1 - 20 von 115 für Suche 'Dep. of Philosophy, Utrecht Univ.', Suchdauer: 2,32s Treffer weiter einschränken
  1. 1

    The predicative Frege hierarchy von Visser, Albert

    Veröffentlicht 2006
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  2. 2

    On Kripke-style semantics for the provability logic of Gödel's proof predicate with quantifiers on proofs von Yavorskiy, Rostislav

    Veröffentlicht 2005
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  3. 3

    Negative operations on proofs and labels von Yavorskaya-Sidon, Tatiana

    Veröffentlicht 2005
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  4. 4

    Process algebra for hybrid systems von Bergstra, Jan A. 1951-, Middelburg, Cornelis A.

    Veröffentlicht 2004
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  5. 5

    Axioms for SNABOK, a system and network administration body of knowledge missing link stage of ontology process von Bergstra, Jan A. 1951-

    Veröffentlicht 2004
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  6. 6

    Categories of theories and interpretations von Visser, Albert

    Veröffentlicht 2004
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  7. 7

    Execution architectures for program algebra von Bergstra, Jan A. 1951-, Ponse, Alban

    Veröffentlicht 2004
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  8. 8

    On the limit existence principles in elementary arithmetic and related topics von Beklemishev, Lev D. 1967-, Visser, Albert

    Veröffentlicht 2004
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  9. 9

    The closed fragment of the interpretability logic of PRA with a constant for IS1 von Joosten, Joost J.

    Veröffentlicht 2003
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  10. 10

    Gödel's theorem von Dalen, Dirk van 1932-

    Veröffentlicht 2003
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  11. 11

    Process algebra with nonstandard timing von Middelburg, Cornelis A.

    Veröffentlicht 2002
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  12. 12

    Brouwer and Weyl the phenomenology and mathematics of the intuitive continuum von Atten, Mark van, Dalen, Dirk van 1932-, Tieszen, Richard L.

    Veröffentlicht 2001
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  13. 13

    Extended abstracts of the Fifth International Workshop on Termination (WST '01) May 20 - 21, 2001

    Veröffentlicht 2001
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  14. 14

    Specification and validation of telecommunication services in ACPT von Zhaorui, Yuan

    Veröffentlicht 1999
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  15. 15

    The interpretability logic of all reasonable arithmetical theories the new conjecture von Joosten, Joost J., Visser, Albert

    Veröffentlicht 1999
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  16. 16

    Brouwer and Fraenkel von Dalen, Dirk van 1932-

    Veröffentlicht 1997
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  17. 17

    A decision support system for the maintenance of lights of traffic regulation systems

    Veröffentlicht 1996
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  18. 18

    Bisimulations, model descriptions and propositional quantifiers von Visser, Albert

    Veröffentlicht 1996
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  19. 19

    Generalizing hamming distance to finite sets von Bezem, Marc, Keijzer, Maarten

    Veröffentlicht 1996
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch
  20. 20

    Safety criteria for Hoorn-Kersenboogerd railway station von Fokkink, Willem J. 1965-

    Veröffentlicht 1995
    “… Dep. of Philosophy, Utrecht Univ. …”
    Buch