Albert G. Dragálin

Publication Activity (10 Years)

Years Active: 1984-1995
Publications (10 Years): 0

Publications

Albert G. Dragálin
Explicit algebraic models for constructive and classical theories with non-standard elements. Stud Logica 55 (1) (1995)
Albert G. Dragálin
Some Trends in Automated Reasoning. J. Inf. Process. Cybern. 25 (11/12) (1989)
Albert G. Dragálin
Correctness of inconsistent theories with notions of feasibility. Symposium on Computation Theory (1984)