31 Results for (keywords_en:MATHEMATICAL LOGIC)

Subscribe to RSS feed for this result set

Page 1 of 2

1 2 Next Page › Last Page »

1. Atome und Präfixe in der Wissenslogik

Scherer, Beat Georges (1995)


Doctoral and Habilitation Theses

2. Vom Denken in Begriffen

Wittenberg, Alexander (1957)


Doctoral and Habilitation Theses

3. Spektrale Entscheidungen bei Präfixklassen

Ermanni, Luca (1991)


Doctoral and Habilitation Theses

4. Kombinatorische Logik und S-Terme

Zachos, E. (1978)


Reports

5. Robuste Logik

Hösli, Brigitte (1993)


Doctoral and Habilitation Theses

6. Galois theory for combinatory algebras and its application to recursion theory

Gloor, Oliver Patrik Andreas (1995)


Doctoral and Habilitation Theses

7. The n-dimensional Laver and Miller ideals

Jossen, Sven (2001)


Doctoral and Habilitation Theses

8. Set theory and category theory in combinatory algebras

Darms, Daniel (1998)


Doctoral and Habilitation Theses

9. Universal algebra in combinatory logic

Amrhein, Beatrice (1992)


Doctoral and Habilitation Theses

10. Calculatrices digitales du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme

Böhm, Corrado (1954)


Doctoral and Habilitation Theses

11. Types and consistency in combinatory algebras

Otth, Daniel (1992)


Doctoral and Habilitation Theses

12. Some representation problems in combinatory logic

Weibel, Trudy (1989)


Doctoral and Habilitation Theses

13. Investigations on a calculus without contractions

Mey, Daniel (1992)


Doctoral and Habilitation Theses

14. Configuration of multiple-variant products

Schwarze, Stephan Rudolf (1996)


Doctoral and Habilitation Theses

15. Fuzzy decision diagrams for the representation, analysis, and optimization of rule bases

Strehl, Karsten, Moraga, Claudio, Temme, Karl-Heinz and Stancović, Radomir (1999)


Reports

16. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Doctoral and Habilitation Theses

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

Müller, Samuel (2009)


Doctoral and Habilitation Theses

18. A parallel resolution method for logic programs

Zolliker, Urs (1993)


Doctoral and Habilitation Theses

19. Interactive learning environments for mathematical topics

Arnold, Rudolf (2007)


Doctoral and Habilitation Theses

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

Schmid, Fritz (1988)


Doctoral and Habilitation Theses

21. Cryptographically relevant contributions to combinational complexity theory

Hiltgen, Alain P.L. (1993)


Doctoral and Habilitation Theses

22. Effective causal analysis methods for structure learning and explanations

Pellet, Jean-Philippe (2010)


Doctoral and Habilitation Theses

23. TAP 2009: short papers

Blanchette, J.C., Nipkow, Tobias, Cama, Benjamin, Gotlieb, Arnaud, Andrade-Barroso, Guillermo, Neumann, Rebecca, Thies, Michael and Karstens, Uwe (2009)


Reports

24. From temporal logics to automata via alternation elimination

Dax, Christian Nikolaus (2010)


Doctoral and Habilitation Theses

25. Semi-autonomous navigation of an assistive robot using low throughput interfaces

Perrin, Xavier (2009)


Doctoral and Habilitation Theses


Page 1 of 2

1 2 Next Page › Last Page »