Computational Aspects of an Order-Sorted Logic with Term Declarations

Computational Aspects of an Order-Sorted Logic with Term Declarations

4.11 - 1251 ratings - Source

Cambridge (1971) He83 Herold, A., Some Basic Notions of First Order Unification Theory, Univ. ... 8th CADE, (ed.) J. Siekmann, Springer- Verlag, LNCS 230, pp. 450-469 (1986) also: MEMO-SEKI 86-VIII-KL, ... 141-152 (1986) HoU179 Hopcraft, J., Ullman, J., Introduction to Automata Theory, Languages and Computation, anbsp;...


Title:Computational Aspects of an Order-Sorted Logic with Term Declarations
Author:Manfred Schmidt-Schauß
Publisher:Springer - 1989-09-20
ISBN-13:

Continue

You Must CONTINUE and create a free account to access unlimited downloads & streaming