dblp.uni-trier.dewww.uni-trier.de

Michael Thau

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992
2 Michael Thau: The omega-rule. Studia Logica 51(2): 241-248 (1992)
1991
1 Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver: Henkin's Completeness Proof: Forty Years Later. Notre Dame Journal of Formal Logic 32(2): 212-232 (1991)

Coauthor Index

1Hugues Leblanc [1]
2Peter Roeper [1]
3George Weaver [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)