Skip to main content
Skip to navigation
Skip to toolbar

Browse by Subject

Subcategories: There are no further subcategories

53 Results for this Subject

Subscribe to RSS feed for this result set

Sort results by

Results per page

Page 2 of 3

« First Page ‹ Previous Page 1 2 3 Next Page › Last Page »

26. Mathematische Computer-Modelle

Schuler, Peter (1970)

Doctoral and Habilitation Theses

27. Nichtstandard Erweiterungen von Differentialkörpern

Primo, Barbara (1991)

Doctoral and Habilitation Theses

28. omega- Konservativität der Nonstandard Mengenlehre von Nelson bezüglich ZF + Kompaktheitssatz

Buff, Hans Walter (1982)

Doctoral and Habilitation Theses

29. omega-Reguläre Sprachen und temporale Aussagenlogik

Peikert, Ronald, Peikert, Ronald and Peikert, Ronald (1985)

Doctoral and Habilitation Theses

30. On locality and related problems

Vicari, Elias (2008)

Doctoral and Habilitation Theses

31. Ramsey properties of reals and partitions

Halbeisen, Lorenz J. (1994)

Doctoral and Habilitation Theses

32. Regelbasierte geometrische Constraint-Konjunktion und Constraint-Verkettung zur Berechnung der Lösungsmenge von mechanischen Zusammenbau-Modellierungs-Problemen

Ogan, Gül (2000)

Doctoral and Habilitation Theses

33. Robuste Logik

Hösli, Brigitte (1993)

Doctoral and Habilitation Theses

34. Set theory and category theory in combinatory algebras

Darms, Daniel (1998)

Doctoral and Habilitation Theses

35. Some representation problems in combinatory logic

Weibel, Trudy (1989)

Doctoral and Habilitation Theses

36. Spektrale Entscheidungen bei Präfixklassen

Ermanni, Luca (1991)

Doctoral and Habilitation Theses

37. Symbolische Lösungen und Term-Erzeugungssysteme in der projektiven und affinen Geometrie

Schmid, Fritz (1988)

Doctoral and Habilitation Theses

38. The n-dimensional Laver and Miller ideals

Jossen, Sven (2001)

Doctoral and Habilitation Theses

39. Theorie und Anwendung des Graphmodells der Kombinatorischen Logik

Fehlmann, Thomas Michael (1981)

Doctoral and Habilitation Theses

40. Theory and applications of runtime monitoring metric first-order temporal logic

Müller, Samuel (2009)

Doctoral and Habilitation Theses

41. The P-matrix linear complementarity problem

Rüst, Leonard Yves (2007)

Doctoral and Habilitation Theses

42. The Specker-Blatter theorem revisited: generating functions for definable classes of structures

Fischer, E. and Makowsky, J.A. (2003)

Reports Reports

43. Types and consistency in combinatory algebras

Otth, Daniel (1992)

Doctoral and Habilitation Theses

44. Umgebungen. Philosophischer Konstruktivismus im Anschluss an Hermann Weyl und Fritz Medicus

Sieroka, Norman (2009)

Doctoral and Habilitation Theses

45. Universal algebra in combinatory logic

Amrhein, Beatrice (1992)

Doctoral and Habilitation Theses

46. Untersuchungen zur Modelltheorie

Engeler, Erwin, Engeler, Erwin and Engeler, Erwin (1958)

Doctoral and Habilitation Theses

47. Validité dans les algèbres de Boole partielles

Coray, Giovanni, Coray, Giovanni and Coray, Giovanni (1970)

Doctoral and Habilitation Theses

48. Verallgemeinerungen des Herbrand'schen Satzes und Anwendungen im Gebiet der Entscheidbarkeit von Formelklassen

Barro, François Marc (1977)

Doctoral and Habilitation Theses

49. Vom Denken in Begriffen

Wittenberg, Alexander (1957)

Doctoral and Habilitation Theses

50. 3-wertige Logiken und stabile Logik

Hösli, Brigitte (1992)

Reports Reports

Page 2 of 3

« First Page ‹ Previous Page 1 2 3 Next Page › Last Page »

ETH E-Collection · ETH Institutional Repository

Navigation

Browse by Subject

53 Results for this Subject

26. Mathematische Computer-Modelle

27. Nichtstandard Erweiterungen von Differentialkörpern

28. omega- Konservativität der Nonstandard Mengenlehre von Nelson bezüglich ZF + Kompaktheitssatz

29. omega-Reguläre Sprachen und temporale Aussagenlogik

30. On locality and related problems

31. Ramsey properties of reals and partitions

32. Regelbasierte geometrische Constraint-Konjunktion und Constraint-Verkettung zur Berechnung der Lösungsmenge von mechanischen Zusammenbau-Modellierungs-Problemen

33. Robuste Logik

34. Set theory and category theory in combinatory algebras

35. Some representation problems in combinatory logic

36. Spektrale Entscheidungen bei Präfixklassen

37. Symbolische Lösungen und Term-Erzeugungssysteme in der projektiven und affinen Geometrie

38. The n-dimensional Laver and Miller ideals

39. Theorie und Anwendung des Graphmodells der Kombinatorischen Logik

40. Theory and applications of runtime monitoring metric first-order temporal logic

41. The P-matrix linear complementarity problem

42. The Specker-Blatter theorem revisited: generating functions for definable classes of structures

43. Types and consistency in combinatory algebras

44. Umgebungen. Philosophischer Konstruktivismus im Anschluss an Hermann Weyl und Fritz Medicus

45. Universal algebra in combinatory logic

46. Untersuchungen zur Modelltheorie

47. Validité dans les algèbres de Boole partielles

48. Verallgemeinerungen des Herbrand'schen Satzes und Anwendungen im Gebiet der Entscheidbarkeit von Formelklassen

49. Vom Denken in Begriffen

50. 3-wertige Logiken und stabile Logik

ETH E-Collection · ETH Institutional Repository

Navigation

Toolbar

Browse by Subject

53 Results for this Subject

26. Mathematische Computer-Modelle

27. Nichtstandard Erweiterungen von Differentialkörpern

28. omega- Konservativität der Nonstandard Mengenlehre von Nelson bezüglich ZF + Kompaktheitssatz

29. omega-Reguläre Sprachen und temporale Aussagenlogik

30. On locality and related problems

31. Ramsey properties of reals and partitions

32. Regelbasierte geometrische Constraint-Konjunktion und Constraint-Verkettung zur Berechnung der Lösungsmenge von mechanischen Zusammenbau-Modellierungs-Problemen

33. Robuste Logik

34. Set theory and category theory in combinatory algebras

35. Some representation problems in combinatory logic

36. Spektrale Entscheidungen bei Präfixklassen

37. Symbolische Lösungen und Term-Erzeugungssysteme in der projektiven und affinen Geometrie

38. The n-dimensional Laver and Miller ideals

39. Theorie und Anwendung des Graphmodells der Kombinatorischen Logik

40. Theory and applications of runtime monitoring metric first-order temporal logic

41. The P-matrix linear complementarity problem

42. The Specker-Blatter theorem revisited: generating functions for definable classes of structures

43. Types and consistency in combinatory algebras

44. Umgebungen. Philosophischer Konstruktivismus im Anschluss an Hermann Weyl und Fritz Medicus

45. Universal algebra in combinatory logic

46. Untersuchungen zur Modelltheorie

47. Validité dans les algèbres de Boole partielles

48. Verallgemeinerungen des Herbrand'schen Satzes und Anwendungen im Gebiet der Entscheidbarkeit von Formelklassen

49. Vom Denken in Begriffen

50. 3-wertige Logiken und stabile Logik