Teo Grunberg

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1983

1 Teo Grunberg: A Tableau System of Proof for Predicate-Functor Logic with Identity. J. Symb. Log. 48(4): 1140-1144 (1983)