4 Results for (keywords_en:INFERENCE SEARCH)

Subscribe to RSS feed for this result set

1. Conjunctive predicate transformers for reasoning about concurrent computation

Chandy, K. Mani and Sanders, Beverly A. (1993)


Reports

2. Robuste Logik

Hösli, Brigitte (1993)


Doctoral and Habilitation Theses

3. 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

4. Cryptographically relevant contributions to combinational complexity theory

Hiltgen, Alain P.L. (1993)


Doctoral and Habilitation Theses