Arnold Oberschelp

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1989

3 Arnold Oberschelp: Order Sorted Predicate Logic. Sorts and Types in Artificial Intelligence 1989: 8-17

1976

2 G. H. Muller, Arnold Oberschelp, K. Potthoff: European Meeting of the Association for Symbolic Logic, Kiel, Federal Republic of Germany, 1974. J. Symb. Log. 41(1): 261-278 (1976)

1968

1 Arnold Oberschelp: On the Craig-Lyndon Interpolation Theorem. J. Symb. Log. 33(2): 271-274 (1968)

	1989
3		Arnold Oberschelp: Order Sorted Predicate Logic. Sorts and Types in Artificial Intelligence 1989: 8-17
	1976
2		G. H. Muller, Arnold Oberschelp, K. Potthoff: European Meeting of the Association for Symbolic Logic, Kiel, Federal Republic of Germany, 1974. J. Symb. Log. 41(1): 261-278 (1976)
	1968
1		Arnold Oberschelp: On the Craig-Lyndon Interpolation Theorem. J. Symb. Log. 33(2): 271-274 (1968)

Coauthor Index