TY - BOOK ID - 6342316 TI - Algebraic logic and universal algebra in computer science : Conference, Ames, Iowa, USA, June 1988. Proceedings AU - Bergman, C. H. AU - MADDUX, R. D. AU - PIGOZZI, Don L. PY - 1990 VL - 425 SN - 3540972889 9783540972884 PB - Berlin : Springer-Verlag, DB - UniCat KW - 681.3*F41 KW - 681.3*F43 KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} KW - 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Algebra KW - Data processing. UR - https://www.unicat.be/uniCat?func=search&query=sysid:6342316 AB - ER -